KIT | KIT-Bibliothek | Impressum | Datenschutz

The KeY system: integrating object-oriented design and formal methods

Ahrendt, Wolfgang; Baar, Thomas; Beckert, Bernhard; Giese, Martin; Haehnle, Reiner; Menzel, Wolfram; Mostowski, W.; Schmitt, Peter H.



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 2002
Sprache Englisch
Identifikator KITopen-ID: 34152002
Erscheinungsvermerk In: Fundamental approaches to software engineering. FASE 2002. Ed.: R.-D. Kutsche. Berlin 2002. S. 327-330. (Lecture notes in computer science. 2306.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page