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 BibTeX
Copyright © Sat May 16 22:55:55 2009
by Michael Ley (ley@uni-trier.de)
