Workshop Formale Spezifikation und Verifikation

Damm, Frank [Hrsg.]; Horster, Patrick [Hrsg.]

Seitenaufrufe: 17
seit 09.09.2018

Zugehörige Institution(en) am KIT	Fakultät für Informatik – Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp	Proceedingsband
Publikationsjahr	1992
Sprache	Deutsch
Identifikator	KITopen-ID: 104992
Erscheinungsvermerk	Karlsruhe 1991. (Report. E.I.S.S., Universitaet Karlsruhe. 1991,7.)