KIT | KIT-Bibliothek | Impressum | Datenschutz

VSE Verification Support Environment

Baur, Peter; Canver, E.; Cleve, Juergen; Drexler, Rainer; Foerster, Ralf; Goehner, Peter; Hauff, Harald; Hutter, Dieter; Kejwal, Peter; Loevenich, Daniel; Reif, Wolfgang; Sengler, Claus; Stephan, Werner; Ullmann, Markus; Wolpers, Andreas



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1993
Sprache Deutsch
Identifikator KITopen ID: 285893
Erscheinungsvermerk In: BSI Sicherheitskongress. BSI-Verlag 1993.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page