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, pp. 70-101, Springer, Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures, DOI: 10.1007/978-3-540-74792-5₄,
[Conference or Workshop Item]
Official URL: https://doi.org/10.1007/978-3-540-74792-5_4
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 |
Options (only for editors)
![]() |
Show editorial Details |