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

Please sign up or login with your details

Forgot password? Click here to reset