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: 294890
Erscheinungsvermerk In: Sichere Software. Ed.: H. Kersten. Heidelberg 1990.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page