Integrating WS1S with PVS

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/10722167_42 ◽

2000 ◽

pp. 548-551 ◽

Cited By ~ 2

Author(s):

Sam Owre ◽

Harald Rueß

Download Full-text