Mechanizing the Transformation of Higher-Order Algebraic Specification for the Development of Software Systems.

TitleMechanizing the Transformation of Higher-Order Algebraic Specification for the Development of Software Systems.
Publication TypeJournal Article
Year of Publication2003
AuthorsMagnussen, 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.}
}