Proof Generation in the Touchstone Theorem Prover (2000)

View PDF

Download Links

by George C. Necula , Peter Lee
Venue:In Proceedings of the International Conference on Automated Deduction
Citations:19 - 0 self