%0 Conference Paper %1 conf/isola/CookKS04 %A Cook, Byron %A Kroening, Daniel %A Sharygina, Natasha %B ISoLA %D 2004 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 96-114 %T Accurate Theorem Proving for Program Verification. %U http://dblp.uni-trier.de/db/conf/isola/isola2004.html#CookKS04 %V 4313 %@ 3-540-48928-2

@inproceedings{conf/isola/CookKS04, added-at = {2017-05-23T00:00:00.000+0200}, author = {Cook, Byron and Kroening, Daniel and Sharygina, Natasha}, biburl = {https://www.bibsonomy.org/bibtex/202f0f55e6ba8d2128cdd84a668b2ac25/dblp}, booktitle = {ISoLA}, crossref = {conf/isola/2004}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/11925040_7}, interhash = {ad78df161cdf5bd943bed1cf05805739}, intrahash = {02f0f55e6ba8d2128cdd84a668b2ac25}, isbn = {3-540-48928-2}, keywords = {dblp}, pages = {96-114}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T12:50:15.000+0200}, title = {Accurate Theorem Proving for Program Verification.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2004.html#CookKS04}, volume = 4313, year = 2004 }