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