A Brief Overview of PVS

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/978-3-540-71067-7_5 ◽

2008 ◽

pp. 22-27 ◽

Author(s):

Sam Owre ◽

Natarajan Shankar

Download Full-text