Ensuring the correctness of lightweight tactics for JavaCard dynamic logic

The work

TitleEnsuring the correctness of lightweight tactics for JavaCard dynamic logic
AuthorsRichard Bubel; Andreas Roth; Philipp Rümmer
Typearticle
Year2008
Citekeybubel2008ensuring

Where it appeared

Published inElectronic Notes in Theoretical Computer Science
Volume199
Pages107--128

Where this came from

How it got herethe agent went looking · found via bibtex
First seen2026-08-05
Standingendorsed
Approved2026-08-07
In: Electronic Notes in Theoretical Computer Science venue

Cite it as

@article{bubel2008ensuring,
  title = {Ensuring the correctness of lightweight tactics for JavaCard dynamic logic},
  author = {Richard Bubel and Andreas Roth and Philipp Rümmer},
  year = {2008},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {199},
  pages = {107--128},
}

This record lives at https://refs.drheap.org/bubel2008ensuring/ and will keep doing so.