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.
In: Lecture Notes in Computer Science, 2306, 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, pp. 327-330, 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:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item