@inproceedings{DBLP:conf/acl2/Hoare06,
author = {Tony Hoare},
title = {The ideal of verified software},
booktitle = {ACL2},
year = {2006},
pages = {61-62},
ee = {http://doi.acm.org/10.1145/1217975.1217988},
crossref = {DBLP:conf/acl2/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/acl2/2006,
editor = {Panagiotis Manolios and
Matthew Wilding},
title = {Proceedings of the Sixth International Workshop on the ACL2
Theorem Prover and its Applications, ACL2 2006, Seattle,
Washington, USA, August 15-16, 2006},
booktitle = {ACL2},
publisher = {ACM},
year = {2006},
isbn = {0-9788493-0-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2007-05-03 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
