Dyfyniad APA

Hunt, W. A., Kaufmann, M., Moore, J. S., & Slobodova, A. (2017). Industrial hardware and software verification with ACL2. Philos Trans A Math Phys Eng Sci.

Dyfyniad Arddull Chicago

Hunt, Warren A., Matt Kaufmann, J Strother Moore, and Anna Slobodova. "Industrial Hardware and Software Verification With ACL2." Philos Trans A Math Phys Eng Sci 2017.

Dyfyniad MLA

Hunt, Warren A., Matt Kaufmann, J Strother Moore, and Anna Slobodova. "Industrial Hardware and Software Verification With ACL2." Philos Trans A Math Phys Eng Sci 2017.

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.