@article{bubelRothRuemmer08,
 author = {Richard Bubel and Andreas Roth and Philipp R\"{u}mmer},
 title = {Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic},
 journal = {Electron. Notes Theor. Comput. Sci.},
 volume = {199},
 year = {2008},
 issn = {1571-0661},
 pages = {107--128},
 publisher = {Elsevier Science Publishers B. V.},
 address = {Amsterdam, The Netherlands, The Netherlands}
}