KIT | KIT-Bibliothek | Impressum | Datenschutz

Systematic software verification

Voges, U.


Zugehörige Institution(en) am KIT Institut für Datenverarbeitung in der Technik (IDT)
Publikationstyp Vortrag
Publikationsjahr 1983
Sprache Englisch
Identifikator KITopen-ID: 230018519
Erscheinungsvermerk OYEZ-Kurs (Internat.Business Communications Limited) 'Application of Computer', Zuerich, CH, May 26-27, 1983
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page