Panagiotis Manolios, Matthew Wilding, editors, 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.
Conference: acl22006
@proceedings{acl2:2006,
title = {Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006},
year = {2006},
researchr = {https://researchr.org/publication/acl2%3A2006},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006},
conference = {acl2},
editor = {Panagiotis Manolios and Matthew Wilding},
publisher = {ACM},
isbn = {0-9788493-0-2},
}