The ideal of verified software
Tony Hoare
Book Title
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications‚ ACL2 2006‚ Seattle‚ Washington‚ USA‚ August 15−16‚ 2006
Editor
Panagiotis Manolios and Matthew Wilding
Pages
61−62
Publisher
ACM
Year
2006