KIT | KIT-Bibliothek | Impressum

Formale Methoden: Korrektheitsbeweise und praktische Sicherheit

Beth, Thomas; Gollmann, Dieter



Zugehörige Institution(en) am KIT Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp Buchaufsatz
Jahr 1990
Sprache Deutsch
Identifikator KITopen ID: 299290
Erscheinungsvermerk In: Proceedings zum Seminar "Werkzeuge und Methoden zur formalen Spezifikation und Verifikation von Software", Bonn 1990. GEI/ZSI.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page