Mechanizing the Transformation of Higher-Order Algebraic Specification for the Development of Software Systems.
Title | Mechanizing the Transformation of Higher-Order Algebraic Specification for the Development of Software Systems. |
Publication Type | Journal Article |
Year of Publication | 2003 |
Authors | Magnussen, S |
Bibtex:
@article {634, title = {Mechanizing the Transformation of Higher-Order Algebraic Specification for the Development of Software Systems.}, year = {2003}, note = {Doctoral thesis. Faculty of Technology and Sciences. Berlin: Logos Verlag 2003 [ISBN 3-8325-0152-5].}, author = {Magnussen, S.} }