Reasoning about Card Tears and Transactions in Java Card (bibtex)

by Engelbert Hubbers and Erik Poll

Reference:

Reasoning about Card Tears and Transactions in Java Card (Engelbert Hubbers and Erik Poll), In Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings (Michel Wermelinger, Tiziana Margaria, eds.), Springer, volume 2984, 2004.

Bibtex Entry:

@string{ehupub="https://www.cs.ru.nl/E.Hubbers/pubs/"}
@inproceedings{DBLP:conf/fase/HubbersP04,
  author    = {Engelbert Hubbers and
               Erik Poll},
  editor    = {Michel Wermelinger and
               Tiziana Margaria},
  title     = {Reasoning about Card Tears and Transactions in Java Card},
  booktitle = {Fundamental Approaches to Software Engineering, 7th International
               Conference, {FASE} 2004, Held as Part of the Joint European Conferences
               on Theory and Practice of Software, {ETAPS} 2004 Barcelona, Spain,
               March 29 - april 2, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2984},
  pages     = {114--128},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/978-3-540-24721-0_8},
  doi       = {10.1007/978-3-540-24721-0_8},
  pdf = EHUPUB#{Hubbers-Poll2004_Chapter_ReasoningAboutCardTearsAndTran.pdf},
  timestamp = {Sun, 02 Jun 2019 21:17:06 +0200},
  biburl    = {https://dblp.org/rec/conf/fase/HubbersP04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}