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 | 2003 |
| Authors | Dosch, W, Magnussen, S |
Bibtex:
@article {630,
title = {Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications.},
year = {2003},
note = {In: R.Y. Lee, K. W. Lee (eds.): Proceedings of the First International Conference on Software Engineering - Research and Applications, SERA 2003. San Francisco, June 25-27, 2003. Mount Pleasant, MI: The International Association for Computer and Information Science 2003, 211-218 [ISBN 0-9700776-6-1]},
author = {W. Dosch and Magnussen, S.}
}