TY  - RPRT
TI  - Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications
AU  - Anna Slobodova
AU  - Warren Hunt Jr
PY  - 2017
DO  - 10.4204/eptcs.249
UR  - https://arxiv.org/abs/1705.00766
ID  - 1705.00766
ER  -