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