Cramer, J.; Doberkat, E.e.; Goedicke, Michael:
Some Formal Methods Supporting Software Reuse
In: Technical Report - Essen: University of Essen, Department of Mathematics and Computer Science / Software Engineering, 1993
1993Buchaufsatz/Kapitel in SammelwerkWirtschaftswissenschaften
Titel:
Some Formal Methods Supporting Software Reuse
Autor(in):
Cramer, J.; Doberkat, E.e.; Goedicke, MichaelLSF