KIT | KIT-Bibliothek | Impressum | Datenschutz

Extending and Applying a Framework for the Cryptographic Verification of Java Programs

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

Open Access Logo


Scopus
Zitationen: 9
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Forschungsbericht/Preprint
Publikationsjahr 2014
Sprache Englisch
Identifikator KITopen-ID: 1000120858
Umfang 63 S.
Serie Cryptology ePrint Archive ; 038
Externe Relationen Abstract/Volltext
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page