Result: The KeY Approach for the Cryptographic Verification of JAVA Programs

Title:
The KeY Approach for the Cryptographic Verification of JAVA Programs : A Case Study / Tobias Kimmerle, Christian Hütter and Klemens Böhm
Contributors:
Beckert, Bernhard (Verfasser); Grahl, Daniel (Verfasser) ; Küsters, Ralf (Verfasser) 
Published:
Karlsruhe : KIT, 2012
Distribution:
Hannover : Technische Informationsbibliothek (TIB)
Description:
Online-Ressource
Format:
E-Book
Language:
English
Series/ Mutipart item:
Karlsruhe reports in informatics ; 2012, 8
Subjects:

Additional information

Additional functions