KIT | KIT-Bibliothek | Impressum

A dynamic logic for the formal verification of Java card programs

Beckert, Bernhard



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 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