TU Darmstadt / ULB / TUbiblio

Verifying Object-Oriented Programs with KeY: A Tutorial

Ahrendt, Wolfgang and Beckert, Bernhard and Hähnle, Reiner and Rümmer, Philipp and Schmitt, Peter H. de Boer, Frank S. and Bonsangue, Marcello M. and Graf, Susanne and de Roever, Willem P. (eds.) (2006):
Verifying Object-Oriented Programs with KeY: A Tutorial.
In: Lecture Notes in Computer Science, 4709, Springer, In: Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures, pp. 70-101, DOI: 10.1007/978-3-540-74792-5₄,
[Online-Edition: https://doi.org/10.1007/978-3-540-74792-5_4],
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2006
Editors: de Boer, Frank S. and Bonsangue, Marcello M. and Graf, Susanne and de Roever, Willem P.
Creators: Ahrendt, Wolfgang and Beckert, Bernhard and Hähnle, Reiner and Rümmer, Philipp and Schmitt, Peter H.
Title: Verifying Object-Oriented Programs with KeY: A Tutorial
Language: German
Series Name: Lecture Notes in Computer Science
Volume: 4709
Publisher: Springer
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Engineering
Event Title: Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
Date Deposited: 27 Apr 2018 10:50
DOI: 10.1007/978-3-540-74792-5₄
Official URL: https://doi.org/10.1007/978-3-540-74792-5_4
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item