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