@entry{tit-fel-mos-mun-18-aa-precisa,
  author = {MA Feli{\'u} and M Moscato and CA Mu{\~n}oz},
  title = {An abstract interpretation framework for the round-off error analysis of floating-point programs},
  journal = {International Conference on ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2018,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://link.springer.com/chapter/10.1007/978-3-319-73721-8_24}}},
  quotes = {... methods such as interval arithmetic, affine arithmetic, Bernstein and Taylor models, etc. ... in PRECiSA other abstract domains such as affine arithmetic and a compositional version of the ...}
}