Goedicke, M.; Cramer, J.; Doberkat, E.e.:
Formal Methods
In: Software Reusability / Schaefer, W.; Pietro-Diaz, R.; Matsumoto, M. (Hrsg.). - London: Ellis Horwood, 1994
Buchaufsatz/Kapitel in Sammelwerk1994Wirtschaftswissenschaften
Titel:
Formal Methods
Autor(in):
Goedicke, M.LSF; Cramer, J.; Doberkat, E.e.
Erscheinungsjahr
1994