%0 Conference Paper %1 conf/kbse/NgocO10 %A Ngoc, Do Thi Bich %A Ogawa, Mizuhito %B ASE %D 2010 %E Pecheur, Charles %E Andrews, Jamie %E Nitto, Elisabetta Di %I ACM %K dblp %P 301-304 %T Checking roundoff errors using counterexample-guided narrowing. %U http://dblp.uni-trier.de/db/conf/kbse/ase2010.html#NgocO10 %@ 978-1-4503-0116-9

@inproceedings{conf/kbse/NgocO10, added-at = {2018-11-06T00:00:00.000+0100}, author = {Ngoc, Do Thi Bich and Ogawa, Mizuhito}, biburl = {https://www.bibsonomy.org/bibtex/2dd5e030763be5a2ed170224178d7093a/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2010}, editor = {Pecheur, Charles and Andrews, Jamie and Nitto, Elisabetta Di}, ee = {https://doi.org/10.1145/1858996.1859056}, interhash = {c347d8ff6d1e2d0841aa637a56c0a934}, intrahash = {dd5e030763be5a2ed170224178d7093a}, isbn = {978-1-4503-0116-9}, keywords = {dblp}, pages = {301-304}, publisher = {ACM}, timestamp = {2018-11-07T13:05:14.000+0100}, title = {Checking roundoff errors using counterexample-guided narrowing.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2010.html#NgocO10}, year = 2010 }