@entry{jac-put-ved-18-aa,
  author = {M Jacquemin and S Putot and F V{\'e}drine},
  title = {A reduced product of absolute and relative error bounds for floating-point analysis},
  journal = {International Static Analysis ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2018,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://link.springer.com/chapter/10.1007/978-3-319-99725-4_15}}},
  quotes = {... In the fourth column of Table 1, we give the results of Fluctuat in its affine arithmetic based ... and errors, that combine interval and affine arithmetic based estimates with SMT. We included ...}
}