Algebraic Data Structure Refinement with the Lübeck Transformation System.
Title | Algebraic Data Structure Refinement with the Lübeck Transformation System. |
Publication Type | Journal Article |
Year of Publication | 2001 |
Authors | Dosch, W, Magnussen, S |
Bibtex:
@article {654, title = {Algebraic Data Structure Refinement with the L{\"u}beck Transformation System.}, year = {2001}, note = {In: K. Indermark, T. Noll (Hrsg): Kolloquium Programmiersprachen und Grundlagen der Programmierung. Rurberg, Oktober 7-10, 2001. Aachener Informatik Berichte AIB 2001-11: RWTH Aachen 2001, 7-12 [ISSN 0935-3232]}, author = {W. Dosch and Magnussen, S.} }