External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

ACL2 Theorems About Commercial Microprocessors

Bishop Brock, Matt Kaufmann, J. Strother Moore. ACL2 Theorems About Commercial Microprocessors. In Mandayam K. Srivas, Albert John Camilleri, editors, Formal Methods in Computer-Aided Design, First International Conference, FMCAD 96, Palo Alto, California, USA, November 6-8, 1996, Proceedings. Volume 1166 of Lecture Notes in Computer Science, pages 275-293, Springer, 1996.

Authors

Bishop Brock

This author has not been identified. Look up 'Bishop Brock' in Google

Matt Kaufmann

This author has not been identified. Look up 'Matt Kaufmann' in Google

J. Strother Moore

This author has not been identified. Look up 'J. Strother Moore' in Google
runs on