TY  - RPRT
TI  - Using ACL2 To Teach Students About Software Testing
AU  - Ruben Gamboa
AU  - Alicia Thoney
PY  - 2022
DO  - 10.4204/eptcs.359.4
UR  - https://arxiv.org/abs/2205.11695
ID  - 2205.11695
ER  -