Media type: E-Book Title: The KeY Approach for the Cryptographic Verification of JAVA Programs : A Case Study Contributor: Beckert, Bernhard [Author]; Grahl, Daniel [Author]; Küsters, Ralf [Author] imprint: Karlsruhe: KIT, Fakultät für Informatik, 2012 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2012,8 Extent: Online-Ressource Language: English Keywords: Forschungsbericht Origination: Footnote: Systemvoraussetzungen: Acrobat reader Access State: Open Access