KIT | KIT-Bibliothek | Impressum

Interaktive Verifikation maschinennaher nebenlaeufiger Programme mit dem CIL- Verfahren

Krumm, Heiko



Zugehörige Institution(en) am KIT Institut für Telematik (TM)
Publikationstyp Buchaufsatz
Jahr 1989
Sprache Deutsch
Identifikator KITopen ID: 197889
Erscheinungsvermerk In: Werkzeuge und Methoden zur formalen Spezifikation und Verifikation von Software. Bonn: Zentralstelle f. Sicherheit in d. Informationstech. (ZSI) 1989.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page