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

*Author/editor-in-chief*:

*Publication*:

Karlsruhe : KIT, 2012

*Distribution*:

Hannover : Technische Informationsbibliothek (TIB)

*Physical description scale*:

Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Karlsruhe reports in informatics ; 2012, 8

*Subject Added Keywords*:

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