#### DMCA

## Integrating Testing and Interactive Theorem Proving

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 |