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.}
}