ACL2 2009: Eighth International Workshop on the ACL2 Theorem Prover and Its Applications
S. Ray
News Report in
The Reasoner
, volume 3(5), June 2009, page 11.
Relevant files
Report (
pdf
)
[
Note:
This is my personal version of the report. The official version is in
The Reasoner Web site
.]