You are here

Home › Research › Publications ›

Supporting Algebraic Program Derivation by PVS.

TitleSupporting Algebraic Program Derivation by PVS.
Publication TypeJournal Article
Year of Publication1998
AuthorsBehnke, R, Berghammer, R, Magnussen, S
Bibtex: 
@article {686,
	title = {Supporting Algebraic Program Derivation by PVS.},
	year = {1998},
	note = {In: B. Buth, R. Berghammer, J. Peleska (eds.): Proceedings of the Workshop on Tools for System Development and Verification. Bremen, June 3-5, 1996. BISS Monographs. Aachen: Shaker Verlag 1998, 22-40 [ISBN 3-8265-3806-4]},
	author = {R. Behnke and R. Berghammer and Magnussen, S.}
}