User guide for the PVS speci��cation and veri��cation system (Beta release (1993)

by S Owre, N Shankar, J M Rushby
Venue:Comp. Sc. Laboratory, SRI International