%0 Conference Paper %1 conf/sas/BrainDGHK13 %A Brain, Martin %A D'Silva, Vijay %A Griggio, Alberto %A Haller, Leopold %A Kroening, Daniel %B SAS %D 2013 %E Logozzo, Francesco %E Fähndrich, Manuel %I Springer %K %P 412-432 %T Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL. %U http://dblp.uni-trier.de/db/conf/sas/sas2013.html#BrainDGHK13 %V 7935 %@ 978-3-642-38855-2

@inproceedings{conf/sas/BrainDGHK13, added-at = {2023-12-12T19:35:56.000+0100}, author = {Brain, Martin and D'Silva, Vijay and Griggio, Alberto and Haller, Leopold and Kroening, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2b590908827db9418d77355820d2e9bbe/admin}, booktitle = {SAS}, crossref = {conf/sas/2013}, editor = {Logozzo, Francesco and Fähndrich, Manuel}, ee = {https://doi.org/10.1007/978-3-642-38856-9_22}, interhash = {2328cfc3ea717d924f3f91023dd3aac0}, intrahash = {b590908827db9418d77355820d2e9bbe}, isbn = {978-3-642-38855-2}, keywords = {}, pages = {412-432}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T19:35:56.000+0100}, title = {Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2013.html#BrainDGHK13}, volume = 7935, year = 2013 }