An Industrial Strength Theorem Prover for a Logic Based on Common Lisp (1997)

Cached

Download Links

by Matt Kaufmann , J. Strother Moore , Of Boyer
Venue:IEEE Transactions on Software Engineering
Citations:107 - 5 self