Supporting developments of high precision software: The DEVA environment

Jaehnichen, Stefan; Anlauff, Matthias; Gabriel, Robert; Weber, Matthias

Seitenaufrufe: 23
seit 10.05.2018

Zugehörige Institution(en) am KIT	Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp	Buchaufsatz
Publikationsjahr	1990
Sprache	Englisch
Identifikator	KITopen-ID: 188090
Erscheinungsvermerk	In: Sichere Software. Formale Spezifikation u. Verifikation vertrauenswuerdiger Systeme. Hrsg.: H. Kersten. Heidelberg 1990. S. 204- 218.