Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Mostowski, Wojciech ; Schmitt, Peter H.
eds.: Kutsche, Ralf-Detlef ; Weber, Herbert (2002)
The KeY System: Integrating Object-Oriented Design and Formal Methods.
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_23
Conference or Workshop Item, Bibliographie
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. |
| Type of entry: | Bibliographie |
| Title: | The KeY System: Integrating Object-Oriented Design and Formal Methods |
| Language: | German |
| Date: | 2002 |
| Publisher: | Springer |
| Series: | Lecture Notes in Computer Science |
| Series Volume: | 2306 |
| 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 |
| DOI: | 10.1007/3-540-45923-5_23 |
| URL / URN: | https://doi.org/10.1007/3-540-45923-5_23 |
| Divisions: | 20 Department of Computer Science > Software Engineering 20 Department of Computer Science |
| Date Deposited: | 27 Apr 2018 10:50 |
| Last Modified: | 27 Apr 2018 10:50 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum