"Validation of the JavaCard Platform with Implicit Induction Techniques."

Gilles Barthe, Sorin Stratulat (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics