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

Nstor Catao, Tim Wahls

Browse the full SAC paper archive.