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