EVA STAR Trefferanzeige

Volltext 2012,8_pdfa.pdf1.pdf (997 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-274973
Titel The KeY Approach for the Cryptographic Verification of JAVA Programs: A Case Study
Autor Beckert, Bernhard
Bruns, Daniel
Küsters, Ralf
Scheben, Christoph
Schmitt, Peter H.
Truderung, Tomasz
Institution Fakultät für Informatik (INFORMATIK)
Institut für Theoretische Informatik (ITI)
Dokumenttyp Buch
Verlag Karlsruhe
Jahr 2012
Serie Karlsruhe Reports in Informatics ; 2012,8
ISSN: 2190-4782