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 ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team