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