%0 Conference Paper %1 conf/cav/ConstantinidesD20 %A Constantinides, George A. %A Dahlqvist, Fredrik %A Rakamaric, Zvonimir %A Salvia, Rocco %B CAV (2) %D 2021 %E Silva, Alexandra %E Leino, K. Rustan M. %I Springer %K dblp %P 626-650 %T Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations. %U http://dblp.uni-trier.de/db/conf/cav/cav2021-2.html#ConstantinidesD20 %V 12760 %@ 978-3-030-81688-9

@inproceedings{conf/cav/ConstantinidesD20, added-at = {2021-07-23T00:00:00.000+0200}, author = {Constantinides, George A. and Dahlqvist, Fredrik and Rakamaric, Zvonimir and Salvia, Rocco}, biburl = {https://www.bibsonomy.org/bibtex/27e048dae040f92e331e1eab9e63d472e/dblp}, booktitle = {CAV (2)}, crossref = {conf/cav/2021-2}, editor = {Silva, Alexandra and Leino, K. Rustan M.}, ee = {https://doi.org/10.1007/978-3-030-81688-9_29}, interhash = {14957e41f9ab4207eb02ed91ee1a5bbf}, intrahash = {7e048dae040f92e331e1eab9e63d472e}, isbn = {978-3-030-81688-9}, keywords = {dblp}, pages = {626-650}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:16:38.000+0200}, title = {Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2021-2.html#ConstantinidesD20}, volume = 12760, year = 2021 }