Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications.

TitleComputer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications.
Publication TypeJournal Article
Year of Publication2004
AuthorsDosch, W, Magnussen, S
Bibtex: 
@article {620,
	title = {Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications.},
	year = {2004},
	note = {In: C.V. Ramamoorthy, R.Y. Lee, K. W. Lee (eds.): Software Engineering - Research and Applications. First International Conference, SERA 2003, San Francisco, CA, USA, June 2003. Selected Revised Papers. Lecture Notes in Computer Science 3026. Berlin: Springer 2004, 7-33 [ISBN 3-540-21975-7] [ISSN 0302-9743]},
	author = {W. Dosch and Magnussen, S.}
}