Cramer, J.; Doberkat, E.e.; Goedicke, M.:
Some Formal Methods Supporting Software Reuse
In: Technical Report - Essen: University of Essen, Department of Mathematics and Computer Science / Software Engineering, 1993
Buchaufsatz/Kapitel in Sammelwerk / Fach: Wirtschaftswissenschaften
Titel:
Some Formal Methods Supporting Software Reuse
Autor(in):
Cramer, J.; Doberkat, E.e.; Goedicke, M. im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen
Erscheinungsjahr:
1993
Erschienen in:
Technical Report - Essen: University of Essen, Department of Mathematics and Computer Science / Software Engineering, 1993