About this scholarly article

Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications - ACL2 '06 - An embedding of the ACL2 logic in HOL by Gordon, Michael J. C.; Hunt, Warren A.; Kaufmann, Matt; Reynolds, James is a scholarly article available to read on EtoBox.

Author

Gordon, Michael J. C.; Hunt, Warren A.; Kaufmann, Matt; Reynolds, James

Publisher

ACM Press

Published

2006

Language

EN