@InProceedings{Beckert01,
author = {Bernhard Beckert},
title = {A Dynamic Logic for the Formal Verification of
{J}ava {C}ard Programs},
booktitle = {International Workshop on Java on Smart Cards:
Programming and Security ({Java} {Card} 2000),
Revised Papers},
venue = {Cannes, France},
editor = {I. Attali and T. Jensen},
pages = {6--24},
publisher = {Springer},
series = {LNCS},
volume = {2041},
year = {2001}
}