J. Strother Moore. Reasoning about digital artifacts with ACL2. In Ranjit Jhala, Wouter Swierstra, editors, Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, PLPV 2011, Austin, TX, USA, January 29, 2011. pages 1-2, ACM, 2011. [doi]
@inproceedings{Moore11-2,
title = {Reasoning about digital artifacts with ACL2},
author = {J. Strother Moore},
year = {2011},
doi = {10.1145/1929529.1929538},
url = {http://doi.acm.org/10.1145/1929529.1929538},
researchr = {https://researchr.org/publication/Moore11-2},
cites = {0},
citedby = {0},
pages = {1-2},
booktitle = {Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, PLPV 2011, Austin, TX, USA, January 29, 2011},
editor = {Ranjit Jhala and Wouter Swierstra},
publisher = {ACM},
isbn = {978-1-4503-0487-0},
}