Computer Aided Fusion For Algebraic Program Derivation.
Title | Computer Aided Fusion For Algebraic Program Derivation. |
Publication Type | Journal Article |
Year of Publication | 2001 |
Authors | Dosch, W, Magnussen, S |
Bibtex:
@article {656, title = {Computer Aided Fusion For Algebraic Program Derivation.}, year = {2001}, note = {Nordic Journal of Computing 8:3, 279-297 (2001) [ISSN 1236-6064]}, author = {W. Dosch and Magnussen, S.} }