TU Darmstadt / ULB / TUbiblio

The KeY Approach: Integrating Object Oriented Design and Formal Verification

Ahrendt, Wolfgang and Baar, Thomas and Beckert, Bernhard and Giese, Martin and Habermalz, Elmar and Hähnle, Reiner and Menzel, Wolfram and Schmitt, Peter (2000):
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
(2000/4), [Report]

Item Type: Report
Erschienen: 2000
Creators: Ahrendt, Wolfgang and Baar, Thomas and Beckert, Bernhard and Giese, Martin and Habermalz, Elmar and Hähnle, Reiner and Menzel, Wolfram and Schmitt, Peter
Title: The KeY Approach: Integrating Object Oriented Design and Formal Verification
Language: German
Number: 2000/4
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Engineering
Date Deposited: 31 Dec 2016 10:40
Identification Number: KeY00
Export:

Optionen (nur für Redakteure)

View Item View Item