| General Conference Information |
Panagiotis (Pete)
Manolios Matthew Wilding |
| Publication Information |
Ruben Gamboa |
| Webpage Information | Sudarshan Srinivasan |
| The ACL2 Theorem Prover | Matt Kaufmann J Strother Moore |
Sixth International Workshop on the ACL2 Theorem Prover and its Applications
Seattle, Washington, USA
August 15 - 16