You are here

Home › Research › Publications ›

Mechanizing the Refinement of Data Structures with the Lübeck Transformation System.

TitleMechanizing the Refinement of Data Structures with the Lübeck Transformation System.
Publication TypeJournal Article
Year of Publication2002
AuthorsDosch, 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.}
}