Date: 2017-08-05 03:12:13Computer 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, SwedenAdd to Reading ListSource URL: www.cs.utexas.eduDownload Document from Source Website File Size: 77,79 KBShare Document on Facebook
|