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