Author:
Walter Andrew T.,Manolios Panagiotis
Publisher
Open Publishing Association
Subject
Psychiatry and Mental health
Reference30 articles.
1. Integrating Testing and Interactive Theorem Proving;Chamarthi,2011
2. Data Definitions in the ACL2 Sedan;Chamarthi,2014
3. Embedding ACL2 models in end-user applications;Davis,2013
4. Hacking and Extending ACL2;Dillinger,2007
5. ACL2s: ``The ACL2 Sedan'';Dillinger;Electronic Notes in Theoretical Computer Science,2007
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Proving Calculational Proofs Correct;Electronic Proceedings in Theoretical Computer Science;2023-11-14
2. Automated Grading of Automata with ACL2s;Electronic Proceedings in Theoretical Computer Science;2023-03-10