TU Darmstadt / ULB / TUbiblio

The KeY System: Integrating Object-Oriented Design and Formal Methods

Ahrendt, Wolfgang and Baar, Thomas and Beckert, Bernhard and Giese, Martin and Habermalz, Elmar and Hähnle, Reiner and Menzel, Wolfram and Mostowski, Wojciech and Schmitt, Peter H.
Kutsche, Ralf-Detlef and Weber, Herbert (eds.) (2002):
The KeY System: Integrating Object-Oriented Design and Formal Methods.
Springer, In: Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, In: Lecture Notes in Computer Science, DOI: 10.1007/3-540-45923-5₂₃, [Online-Edition: https://doi.org/10.1007/3-540-45923-5_23],
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2002
Editors: Kutsche, Ralf-Detlef and Weber, Herbert
Creators: Ahrendt, Wolfgang and Baar, Thomas and Beckert, Bernhard and Giese, Martin and Habermalz, Elmar and Hähnle, Reiner and Menzel, Wolfram and Mostowski, Wojciech and Schmitt, Peter H.
Title: The KeY System: Integrating Object-Oriented Design and Formal Methods
Language: German
Series Name: Lecture Notes in Computer Science
Volume: 2306
Publisher: Springer
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Event Title: Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings
Date Deposited: 27 Apr 2018 10:50
DOI: 10.1007/3-540-45923-5₂₃
Official URL: https://doi.org/10.1007/3-540-45923-5_23
Export:

Optionen (nur für Redakteure)

View Item View Item