Reasoning about card tears and transactions in Java Card (bibtex)

by E.-M.G.M. Hubbers and E. Poll

Reference:

Reasoning about card tears and transactions in Java Card (E.-M.G.M. Hubbers and E. Poll), Technical report R0322, University of Nijmegen, 2003.

Bibtex Entry:

@string{ehupub="https://www.cs.ru.nl/E.Hubbers/pubs/"}
@string{toap="To appear"}
@techreport{HP03,
	 author={E.-M.G.M. Hubbers and E. Poll},
	 title={Reasoning about card tears and transactions in Java Card},
	 institution={University of Nijmegen},
	 number={R0322},
	 type={Technical Report NIII},
	 address={Toernooiveld, 6525 ED Nijmegen, The Netherlands},
	 pdf= EHUPUB#{niii-r0322-transactions.pdf},
	 year=2003,
	 note=TOAP#{in FASE'04 proceedings},
         month = {October}}