TU Darmstadt / ULB / TUbiblio

Formal Verification with KeY: A Tutorial

Beckert, Bernhard and Hähnle, Reiner and Hentschel, Martin and Schmitt, Peter H.
Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias (eds.) (2016):
Formal Verification with KeY: A Tutorial.
In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, pp. 541-570, DOI: 10.1007/978-3-319-49812-6₁₆, [Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_16],
[Book Section]

Item Type: Book Section
Erschienen: 2016
Editors: Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias
Creators: Beckert, Bernhard and Hähnle, Reiner and Hentschel, Martin and Schmitt, Peter H.
Title: Formal Verification with KeY: A Tutorial
Language: German
Title of Book: Deductive Software Verification - The KeY Book - From Theory to Practice
Series Name: Lecture Notes in Computer Science
Volume: 10001
Publisher: Springer
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 27 Apr 2018 10:03
DOI: 10.1007/978-3-319-49812-6₁₆
Official URL: https://doi.org/10.1007/978-3-319-49812-6_16
Export:

Optionen (nur für Redakteure)

View Item View Item