%0 Conference Paper %1 conf/lcpc/ChiangGR15 %A Chiang, Wei-Fan %A Gopalakrishnan, Ganesh %A Rakamaric, Zvonimir %B LCPC %D 2015 %E Shen, Xipeng %E Mueller, Frank %E Tuck, James %I Springer %K dblp %P 271-286 %T Practical Floating-Point Divergence Detection. %U http://dblp.uni-trier.de/db/conf/lcpc/lcpc2015.html#ChiangGR15 %V 9519 %@ 978-3-319-29777-4

@inproceedings{conf/lcpc/ChiangGR15, added-at = {2017-05-17T00:00:00.000+0200}, author = {Chiang, Wei-Fan and Gopalakrishnan, Ganesh and Rakamaric, Zvonimir}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27c8631e8345ee9579cb9398dcf4f0659/dblp}, booktitle = {LCPC}, crossref = {conf/lcpc/2015}, editor = {Shen, Xipeng and Mueller, Frank and Tuck, James}, ee = {https://doi.org/10.1007/978-3-319-29778-1_17}, interhash = {beebbca7fce30667d132b689ebb859d9}, intrahash = {7c8631e8345ee9579cb9398dcf4f0659}, isbn = {978-3-319-29777-4}, keywords = {dblp}, pages = {271-286}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:42:36.000+0200}, title = {Practical Floating-Point Divergence Detection.}, url = {http://dblp.uni-trier.de/db/conf/lcpc/lcpc2015.html#ChiangGR15}, volume = 9519, year = 2015 }