A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Warren A. Hunt, Matt Kaufmann, J Strother Moore, Anna Slobodova. "Industrial hardware and software verification with ACL2." Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 375.2104 (2017) 20150399