Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Stepwise software development with algebraic specifications

	Technique et science informatiques (1991), Nr.1, S.35-51 ISSN: 0752-4072

	Englisch
	Zeitschriftenaufsatz
	Fraunhofer GMD
	Algebraische Spezifikation; Softwareentwicklung