International Workshop on the ACL2 Theorem Prover and Its Applications
ACL2 2006: Seattle, Washington, USA
Panagiotis Manolios, Matthew Wilding (Eds.):
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006.
ACM 2006, ISBN 0-9788493-0-2
Contents 
Last update Mon May 21 02:19:26 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
