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