KIT | KIT-Bibliothek | Impressum | Datenschutz

The KIV system: systematic construction of verified software

Reif, Wolfgang


Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Publikationsjahr 1992
Sprache Englisch
Identifikator KITopen-ID: 254792
Erscheinungsvermerk In: Automated deduction - CADE-11. Ed.: D. Kapur. Berlin 1992. S. 753-757. (Lecture notes in computer science. 607.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page