Mechanizing the Refinement of Data Structures with the Lübeck Transformation System.
| Title | Mechanizing the Refinement of Data Structures with the Lübeck Transformation System. |
| Publication Type | Journal Article |
| Year of Publication | 2002 |
| Authors | Dosch, W, Magnussen, S |
Bibtex:
@article {640,
title = {Mechanizing the Refinement of Data Structures with the L{\"u}beck Transformation System.},
year = {2002},
note = {In: J. Vain, T. Uustalu (eds.): Proceedings of the 14th Nordic Workshop on Programming. Tallinn, Estonia, November 20-22, 2002. Tallinn: Institute of Cybernetics, Technical University of Tallinn 2002, 35-38 [ISBN 9985-894-50-2].},
author = {W. Dosch and Magnussen, S.}
}