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 / Fach: Wirtschaftswissenschaften