Publica
Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
1996
Grundreduzierbarkeitstests und ihre Anwendungen in der Programmsynthese
Schmid, K.
: Fettig, R. (Prüfer)
Diplomarbeit
1991
Stepwise software development with algebraic specifications
Beierle, C.; Voß, A.
Zeitschriftenaufsatz
1989
Algebraic specification of a reusable expert system
Voß, A.
Buch