KIT | KIT-Bibliothek | Impressum | Datenschutz

A dynamic logic for the formal verification of Java card programs

Beckert, Bernhard


Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Publikationsjahr 2001
Sprache Englisch
Identifikator KITopen-ID: 29162001
Erscheinungsvermerk In: Java on smart cards: programming and security. 1st International Workshop Java Card 2000, Cannes, France 2001. Ed.: I. Attali. Berlin 2001. S. 6-24. (Lecture notes in computer science. 2041.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page