Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Qualitätssicherung durch Programmverifikation und algebraische Methoden der Software-entwicklung

	Informatik-Spektrum 11 (1988), S.292-302 ISSN: 0170-6012 ISSN: 1432-122X

	Deutsch
	Zeitschriftenaufsatz
	Fraunhofer AIS ( IAIS) ()