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