(2006). 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].
Citazione stile Chigago Style (17a edizione)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]. 2006.
Citatione MLA (9a ed.)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]. 2006.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.