KIT | KIT-Bibliothek | Impressum

The KIV system: systematic construction of verified software

Reif, Wolfgang



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 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