A Dynamic Logic for the formal verification of Java Card programs (2000)

by B Beckert
Venue:In Java on Smart Cards: Programming and security. Revised Papers, Java Card 2000, International Workshop