Proof Generation in the Touchstone Theorem Prover (2000)

Cached

Download Links

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