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 Sammelwerk1993Wirtschaftswissenschaften
Titel:
Some Formal Methods Supporting Software Reuse
Autor(in):
Cramer, J.; Doberkat, E.e.; Goedicke, M.LSF
Erscheinungsjahr
1993
Erschienen in:
Titel:
Technical Report
Erscheinungsort
Essen
Verlag
University of Essen, Department of Mathematics and Computer Science / Software Engineering
Erscheinungsjahr
1993