Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Mostowski, Wojciech ; Schmitt, Peter H.
Kutsche, Ralf-Detlef ; Weber, Herbert (eds.) (2002):
The KeY System: Integrating Object-Oriented Design and Formal Methods.
In: Lecture Notes in Computer Science, 2306, pp. 327-330, Springer, 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, DOI: 10.1007/3-540-45923-5₂₃,
[Conference or Workshop Item]
URL / URN: https://doi.org/10.1007/3-540-45923-5_23
| Item Type: | Conference or Workshop Item |
|---|---|
| Erschienen: | 2002 |
| Editors: | Kutsche, Ralf-Detlef ; Weber, Herbert |
| Creators: | Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Mostowski, Wojciech ; Schmitt, Peter H. |
| Title: | The KeY System: Integrating Object-Oriented Design and Formal Methods |
| Language: | German |
| Series: | Lecture Notes in Computer Science |
| Series 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₂₃ |
| URL / URN: | https://doi.org/10.1007/3-540-45923-5_23 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum