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

Titel:

The KeY Approach for the Cryptographic Verification of JAVA Programs : A Case Study / Tobias Kimmerle, Christian Hütter and Klemens Böhm

Beteiligt:

Veröffentlicht:

Karlsruhe : KIT, 2012

Vertrieb:

Hannover : Technische Informationsbibliothek (TIB)

Umfang:

Online-Ressource

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Karlsruhe reports in informatics ; 2012, 8

Schlagworte:

Zusatz-Informationen