DMCA

Specifying and Verifying Data Models in PVS: Preliminary Explorations using a Text Book Example........................................ 1 (2007)

Cached

Download Links

by John Rushby , Natarajan Shankar (editors , Arijit Sengupta , Edward Robertson , Steve Johnson , David Lester