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

View PDF

Download Links

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