Back to Results
First PageMeta Content
Computer programming / Software engineering / Computing / Lisp / ACL2 / Functional languages / J Strother Moore / Formal methods / Automated theorem proving / Common Lisp / ACL / Advanced Micro Devices


Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule http://www.cs.utexas.edu/users/moore/acl2 ARCADE in Gothenburg, Sweden
Add to Reading List

Document Date: 2017-08-05 03:12:13


Open Document

File Size: 77,79 KB

Share Result on Facebook
UPDATE