A formally verified calculus for full Java Card (2004)

Cached

Download Links

by Kurt Stenzel
Venue:AMAST 2004. LNCS
Citations:21 - 6 self