PVS 2.1 patches (2.417). Email to pvs@csl.sri.com. Internet message sent on Sat, Feb 7 (1998)

by S Owre
Results 1 - 1 of 1

Should Your Specification Language Be Typed?

by Leslie Lamport , Lawrence C. Paulson , 1999
"... ..."
Abstract - Cited by 43 (1 self) - Add to MetaCart
Abstract not found