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