Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications.
Title | Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications. |
Publication Type | Journal Article |
Year of Publication | 2004 |
Authors | Dosch, 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.} }