Computer Aided Fusion For Algebraic Program Derivation.

TitleComputer Aided Fusion For Algebraic Program Derivation.
Publication TypeJournal Article
Year of Publication2001
AuthorsDosch, 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.}
}