A Dynamic Logic for Java Card

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert
In:2nd ECOOP Workshop on Formal Techniques for Java Programs
Year:2000
Pages: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}             
}