TY  - RPRT
TI  - Adding 32-bit Mode to the ACL2 Model of the x86 ISA
AU  - Alessandro Coglio
AU  - Shilpi Goel
PY  - 2018
DO  - 10.4204/eptcs.280.6
UR  - https://arxiv.org/abs/1810.04313
ID  - 1810.04313
ER  -