DMCA

Hacking and extending ACL2 (2007)

by Peter C. Dillinger , Matt Kaufmann , Panagiotis Manolios
Venue:In ACL2 Workshop 2007
Citations:1 - 1 self