A Program Logic for Handling JAVA CARD's Transaction Mechanism

@InProceedings{BeckertMostowski03,
  author =       {Bernhard Beckert and Wojciech Mostowski},
  title  =       {A Program Logic for Handling {JAVA CARD}'s Transaction 
                  Mechanism},
  booktitle =    {6th International Conference on Fundamental Approaches
                  to Software Engineering ({FASE} 2003), held as part of
                  {ETAPS} 2003: the Joint European Conferences on Theory
                  and Practice of Software},
  editor        = {Mauro Pezz{\`{e}}},
  venue =        {Warsaw, Poland},
  pages =        {246--260},
  year =         {2003},
  eventdate =    {2003-04-07/2003-04-11},
  month =        apr,
  series =       {LNCS},
  volume =       {2621},
  publisher =    {Springer}
}