Design Goals for ACL2 (1994)

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