@misc{indiciae5c25dfbc5897,
  title = {The pitfalls of verifying floating-point computations},
  author = {David Monniaux},
  year = {2008},
  doi = {10.1145/1353445.1353446},
  url = {https://arxiv.org/abs/cs/0701192},
  note = {Source identifier: cs/0701192}
}