References & Citations
Computer Science > Logic in Computer Science
Title: Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications
(Submitted on 26 Sep 2020)
Abstract: This volume contains a selection of papers presented at the 16th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2-2020). The workshops are the premier technical forum for presenting research and experiences related to ACL2.
Link back to: arXiv, form interface, contact.