A formally verified calculus for full Java Card (2004)

by K Stenzel
Venue:In Algebraic Methodology and Software Technology (AMAST) 2004, Proceedings. Springer LNCS 3116