Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications

09/26/2020 ∙ by Grant Passmore, et al. ∙ 0

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.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.