DMCA

Integrating Testing and Interactive Theorem Proving

Cached

Download Links

by Harsh Raju Chamarthi , Peter Dillinger , Matt Kaufmann
Venue:In: ACL2 ’11: Proceedings of the ninth international workshop on the ACL2 theorem
Citations:9 - 2 self