A Tutorial on Using PVS for Hardware Verification (1995)

Cached

Download Links

by S. Owre , J. M. Rushby , N. Shankar , M. K. Srivas
Venue:Proc. 2nd International Conference on Theorem Provers in Circuit Design (TPCD94), volume 901 of Lecture Notes in Computer Science
Citations:15 - 0 self