KIT | KIT-Bibliothek | Impressum | Datenschutz

Formal software development in the KIV system

Heisel, Maritta; Reif, Wolfgang; Stephan, Werner



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1991
Sprache Englisch
Identifikator KITopen-ID: 264191
Erscheinungsvermerk In: Automating software design. Ed.: M.R. Lowry. Menlo Park, Calif. 1991.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page