"Executing JML specifications of Java card applications: a case study."

Néstor Cataño, Tim Wahls (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics