KIT | KIT-Bibliothek | Impressum | Datenschutz

A Framework for the Cryptographic Verification of Java-like Programs

Küsters, Ralf; Truderung, Tomasz; Graf, Jürgen

Open Access Logo


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Forschungsbericht/Preprint
Publikationsjahr 2012
Sprache Englisch
Identifikator KITopen-ID: 1000120866
Serie Cryptology ePrint Archive ; 153
Externe Relationen Abstract/Volltext
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page