Integration in PVS: Tables, Types, and Model Checking.

Sam Owre, John M. Rushby, Natarajan Shankar

Browse the full TACAS paper archive.