Telefona gönder: Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications 2006, Seattle, Washington, August 15-16, 2006 / conference chairs, Panagiotis Manolios, Matthew Wilding. [electronic resource] :