KIT | KIT-Bibliothek | Impressum | Datenschutz

KORSO: das Verbundprojekt "Korrekte Software"

Hussmann, Heinrich; Loeckx, Jacques; Reif, Wolfgang



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Publikationsjahr 1993
Sprache Deutsch
Identifikator KITopen-ID: 127993
Erscheinungsvermerk In: Informatik, Wirtschaft, Gesellschaft. Hrsg.: H. Reichel. Berlin 1993. S. 266-271. (GI-Jahrestagung. 23.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page