Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

A Dynamic Logic for Java Card

Begutachtete Veröffentlichung in Tagungsband
Autor(en):Bernhard Beckert
In:2nd ECOOP Workshop on Formal Techniques for Java Programs
Jahr:2000
Seiten:111-119

BibTeX

@InProceedings{Beckert00,
  author        = {Bernhard Beckert},
  title         = {A Dynamic Logic for Java Card},
  booktitle     = {2nd {ECOOP} Workshop on Formal Techniques for
                   {Java} Programs},
  venue         = {Cannes, France},
  pages         = {111--119},
  year          = {2000}             
}