A formally verified calculus for full Java Card (2004)

Cached

Download Links

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