Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

A Program Logic for Handling JAVA CARD's Transaction Mechanism

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert und Wojciech Mostowski
In: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
Verleger:Springer
Reihe:LNCS
Band:2621
Jahr:2003
Seiten:246-260

BibTeX

@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}}},
  place =        {Warsaw, Poland},
  pages =        {246--260},
  year =         {2003},
  date =         {April 7-11},
  month =        apr,
  series =       {LNCS},
  volume =       {2621},
  publisher =    {Springer}
}