%0 Conference Paper %1 conf/arith/DenisCP16 %A Denis, Christophe %A de Oliveira Castro, Pablo %A Petit, Eric %B ARITH %D 2016 %E Montuschi, Paolo %E Schulte, Michael J. %E Hormigo, Javier %E Oberman, Stuart F. %E Revol, Nathalie %I IEEE Computer Society %K dblp %P 55-62 %T Verificarlo: Checking Floating Point Accuracy through Monte Carlo Arithmetic. %U http://dblp.uni-trier.de/db/conf/arith/arith2016.html#DenisCP16 %@ 978-1-5090-1616-7

@inproceedings{conf/arith/DenisCP16, added-at = {2023-03-23T00:00:00.000+0100}, author = {Denis, Christophe and de Oliveira Castro, Pablo and Petit, Eric}, biburl = {https://www.bibsonomy.org/bibtex/2fb678ad7bb4590db23c557f264216683/dblp}, booktitle = {ARITH}, crossref = {conf/arith/2016}, editor = {Montuschi, Paolo and Schulte, Michael J. and Hormigo, Javier and Oberman, Stuart F. and Revol, Nathalie}, ee = {https://doi.ieeecomputersociety.org/10.1109/ARITH.2016.31}, interhash = {e647fd0026ea20951c404a358947d330}, intrahash = {fb678ad7bb4590db23c557f264216683}, isbn = {978-1-5090-1616-7}, keywords = {dblp}, pages = {55-62}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:32:53.000+0200}, title = {Verificarlo: Checking Floating Point Accuracy through Monte Carlo Arithmetic.}, url = {http://dblp.uni-trier.de/db/conf/arith/arith2016.html#DenisCP16}, year = 2016 }