@entry{dam-mar-pan-qiu-san-tat-16-aa-fpbench,
  author = {N Damouche and M Martel and P Panchekha and C Qiu...},
  title = {Toward a standard benchmark format and suite for floating-point analysis},
  journal = {... Workshop on Numerical ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2016,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://link.springer.com/chapter/10.1007/978-3-319-54292-8_6}}},
  quotes = {... Rosa [11] combines an exact SMT solver on reals with sound affine arithmetic to verify accuracy post-conditions from assertions about the accuracy of inputs. Rosa can guarantee that ...}
}