Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

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},
  place         = {Cannes, France},
  pages         = {111--119},
  year          = {2000}             
}