Reasoning about card tears and transactions in Java Card (2004)

by E-M G M Hubbers, E Poll
Venue:Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, volume 2984 of LNCS