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.
In: In Proc. Java Card Workshop, Cannes, France, {INRIA} technical report, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
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
Title of Book: In Proc. Java Card Workshop, Cannes, France
Publisher: {INRIA} technical report
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Engineering
Date Deposited: 31 Dec 2016 10:40
Identification Number: KeY00a
Export:

Optionen (nur für Redakteure)

View Item View Item