TY  - RPRT
TI  - Hardware/Software Co-Assurance using the Rust Programming Language and ACL2
AU  - David Hardin
PY  - 2022
DO  - 10.4204/eptcs.359.16
UR  - https://arxiv.org/abs/2205.11709
ID  - 2205.11709
ER  -