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
Ojeda-Aciego, Manuel and de Guzmán, Inma P. and Brewka, Gerhard and Pereira, Luís Moniz (eds.) (2000):
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
In: Proc. 8th European Workshop on Logics in AI (JELIA), Springer-Verlag, In: LNCS, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2000
Editors: Ojeda-Aciego, Manuel and de Guzmán, Inma P. and Brewka, Gerhard and Pereira, Luís Moniz
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: Proc. 8th European Workshop on Logics in AI (JELIA)
Series Name: LNCS
Volume: 1919
Publisher: Springer-Verlag
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Engineering
Date Deposited: 31 Dec 2016 10:40
Identification Number: Haehnle00a
Export:

Optionen (nur für Redakteure)

View Item View Item