%0 Conference Paper %1 conf/vstte/ClochardFP15 %A Clochard, Martin %A Filliâtre, Jean-Christophe %A Paskevich, Andrei %B VSTTE %D 2015 %E Gurfinkel, Arie %E Seshia, Sanjit A. %I Springer %K %P 94-109 %T How to Avoid Proving the Absence of Integer Overflows. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2015.html#ClochardFP15 %V 9593 %@ 978-3-319-29612-8

@inproceedings{conf/vstte/ClochardFP15, added-at = {2023-12-12T20:33:59.000+0100}, author = {Clochard, Martin and Filliâtre, Jean-Christophe and Paskevich, Andrei}, biburl = {https://www.bibsonomy.org/bibtex/2fcb633faf096e76ef5fa78c8d066e147/admin}, booktitle = {VSTTE}, crossref = {conf/vstte/2015}, editor = {Gurfinkel, Arie and Seshia, Sanjit A.}, ee = {https://doi.org/10.1007/978-3-319-29613-5_6}, interhash = {3113281f0e8f0f5ff3bc936c6132bec5}, intrahash = {fcb633faf096e76ef5fa78c8d066e147}, isbn = {978-3-319-29612-8}, keywords = {}, pages = {94-109}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T20:33:59.000+0100}, title = {How to Avoid Proving the Absence of Integer Overflows.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2015.html#ClochardFP15}, volume = 9593, year = 2015 }