PVS: Combining Specification, Proof Checking, and Model Checking (1996)

Cached

Download Links

by S. Owre , S. Rajan , J. M. Rushby , N. Shankar , M. Srivas
Citations:206 - 4 self