Integrating WS1S with PVS

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/10722167_42 ◽

2000 ◽

pp. 548-551 ◽

Author(s):

Sam Owre ◽

Harald Rueß

Download Full-text