A dynamic logic for the formal verification of Java Card programs (2001)

by Bernhard Beckert
Venue:Java on Smart Cards: Programming and Security. Revised Papers, Java Card 2000, International Workshop