KIT | KIT-Bibliothek | Impressum | Datenschutz

The KeY approach: integrating object oriented design and formal verification

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



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 2000
Sprache Englisch
Identifikator KITopen ID: 34272000
Erscheinungsvermerk In: Logics in artificial intelligence. JELIA 2000. Ed.: M. Ojeda-Aciego. Berlin 2000. S. 21-36. (Lecture notes in computer science. 1919.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page