APA (7th ed.) Citation

Hunt Jr., W. A., Kaufmann, M., Moore, J. S., & Slobodova, A. (2017). Industrial hardware and software verification with ACL2. Philosophical Transactions of the Royal Society A: Mathematical, Physical & Engineering Sciences, 375(2104), 1. https://doi.org/10.1098/rsta.2015.0399

Chicago Style (17th ed.) Citation

Hunt Jr., Warren A., Matt Kaufmann, J. Strother Moore, and Anna Slobodova. "Industrial Hardware and Software Verification with ACL2." Philosophical Transactions of the Royal Society A: Mathematical, Physical & Engineering Sciences 375, no. 2104 (2017): 1. https://doi.org/10.1098/rsta.2015.0399.

MLA (9th ed.) Citation

Hunt Jr., Warren A., et al. "Industrial Hardware and Software Verification with ACL2." Philosophical Transactions of the Royal Society A: Mathematical, Physical & Engineering Sciences, vol. 375, no. 2104, 2017, p. 1, https://doi.org/10.1098/rsta.2015.0399.