@misc{indiciaed5dc8ba953bc,
  title = {Combining Tools for Optimization and Analysis of Floating-Point Computations},
  author = {Heiko Becker and Pavel Pancheckha and Eva Darulova and Zachary Tatlock},
  year = {2018},
  url = {https://arxiv.org/abs/1805.02436},
  note = {Source identifier: 1805.02436}
}