%0 Conference Paper %1 conf/acl2/Hoare06 %A Hoare, Tony %B ACL2 %D 2006 %E Manolios, Panagiotis %E Wilding, Matthew %I ACM %K dblp %P 61-62 %T The ideal of verified software. %U http://dblp.uni-trier.de/db/conf/acl2/acl22006.html#Hoare06 %@ 0-9788493-0-2

@inproceedings{conf/acl2/Hoare06, added-at = {2018-11-06T00:00:00.000+0100}, author = {Hoare, Tony}, biburl = {https://www.bibsonomy.org/bibtex/2a9c94b75e536f7bef00814eba72cc550/dblp}, booktitle = {ACL2}, crossref = {conf/acl2/2006}, editor = {Manolios, Panagiotis and Wilding, Matthew}, ee = {https://doi.org/10.1145/1217975.1217988}, interhash = {cb6778f385e1560191a5ac5b258d4e3e}, intrahash = {a9c94b75e536f7bef00814eba72cc550}, isbn = {0-9788493-0-2}, keywords = {dblp}, pages = {61-62}, publisher = {ACM}, timestamp = {2020-06-16T12:05:10.000+0200}, title = {The ideal of verified software.}, url = {http://dblp.uni-trier.de/db/conf/acl2/acl22006.html#Hoare06}, year = 2006 }