@misc{indiciae25dda7bf3d2f,
  title = {An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis},
  author = {Arnab Das and Ian Briggs and Ganesh Gopalakrishnan and Pavel Panchekha and Sriram Krishnamoorthy},
  year = {2020},
  url = {https://arxiv.org/abs/2004.11960},
  note = {Source identifier: 2004.11960}
}