KIT | KIT-Bibliothek | Impressum | Datenschutz

Correctness of full first-order specifications

Reif, Wolfgang



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Publikationsjahr 1992
Sprache Englisch
Identifikator KITopen-ID: 254692
Erscheinungsvermerk In: 4th Conference on Software Engineering and Knowledge Engineering, Capri, Italy 1992. Los Alamitos, CA 1992.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page