David S. Hardin
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Hardware/Software Co-Assurance using the Rust Programming Language and ACL2
David S. Hardin (2022) · Proceedings of the 17th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2022)