KIT | KIT-Bibliothek | Impressum

Ein logikbasierter Ansatz zur Implementierung sicherer Software

Heisel, Maritta; Reif, Wolfgang; Stephan, Werner; Wolpers, Andreas



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1992
Sprache Deutsch
Identifikator KITopen ID: 105092
Erscheinungsvermerk In: Workshop Formale Spezifikation und Verifikation. Hrsg.: F. Damm. Karlsruhe 1991. (Report. E.I.S.S., Universitaet Karlsruhe. 1991,7.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page