Supporting Algebraic Program Derivation by PVS

R. Behnke, R. Berghammer, S. Magnussen

Original language	English
Pages	22-40
Number of pages	19
Publication status	Published - 1998
Externally published	Yes
Event	Proceedings of the Workshop on Tools for System Development and Verification 1996 - Bremen, Germany Duration: 03.06.1996 → 05.06.1996

Conference	Proceedings of the Workshop on Tools for System Development and Verification 1996
Country/Territory	Germany
City	Bremen
Period	03.06.96 → 05.06.96

Cite this

@conference{fd405052b163459c99837415dc17909a,

title = "Supporting Algebraic Program Derivation by PVS",

author = "R. Behnke and R. Berghammer and S. Magnussen",

year = "1998",

language = "English",

pages = "22--40",

note = "Proceedings of the Workshop on Tools for System Development and Verification 1996 ; Conference date: 03-06-1996 Through 05-06-1996",

}