Design Goals for ACL2 (1994)

by Matt Kaufmann , J Strother Moore
Citations:37 - 5 self