BibTeX record conf/arith/BoldoFT18

• > Home > conf/arith/BoldoFT18

@inproceedings{DBLP:conf/arith/BoldoFT18,
  author       = {Sylvie Boldo and
                  Florian Faissole and
                  Vincent Tourneur},
  title        = {A Formally-Proved Algorithm to Compute the Correct Average of Decimal
                  Floating-Point Numbers},
  booktitle    = {25th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2018, Amherst,
                  MA, USA, June 25-27, 2018},
  pages        = {69--75},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/ARITH.2018.8464761},
  doi          = {10.1109/ARITH.2018.8464761},
  timestamp    = {Thu, 23 Mar 2023 23:58:23 +0100},
  biburl       = {https://dblp.org/rec/conf/arith/BoldoFT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}