Supporting Algebraic Program Derivation by PVS.
| Title | Supporting Algebraic Program Derivation by PVS. |
| Publication Type | Journal Article |
| Year of Publication | 1998 |
| Authors | Behnke, 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.}
}