@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}
}