Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Mostowski, Wojciech ; Schmitt, Peter H.
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie
URL / URN: https://doi.org/10.1007/3-540-45923-5_23
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2002 |
| Herausgeber: | Kutsche, Ralf-Detlef ; Weber, Herbert |
| Autor(en): | Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Mostowski, Wojciech ; Schmitt, Peter H. |
| Art des Eintrags: | Bibliographie |
| Titel: | The KeY System: Integrating Object-Oriented Design and Formal Methods |
| Sprache: | Deutsch |
| Publikationsjahr: | 2002 |
| Verlag: | Springer |
| Reihe: | Lecture Notes in Computer Science |
| Band einer Reihe: | 2306 |
| Veranstaltungstitel: | 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 |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik > Software Engineering 20 Fachbereich Informatik |
| Hinterlegungsdatum: | 27 Apr 2018 10:50 |
| Letzte Änderung: | 27 Apr 2018 10:50 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum