Integration in PVS: Tables, Types, and Model Checking (1997)

Cached

Download Links

by Sam Owre , John Rushby , Natarajan Shankar
Venue:Tools and Algorithms for the Construction and Analysis of Systems (TACAS '97), volume 1217 of Lecture Notes in Computer Science
Citations:14 - 1 self