@entry{gar-mic-rue-20-aa,
  author = {R Garcia and C Michel and M Rueher},
  title = {Rigorous Enclosure of Round-Off Errors in Floating-Point Computations},
  journal = {Software Verification,},
  volume = {},
  number = {},
  pages = {},
  year = 2020,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://link.springer.com/chapter/10.1007/978-3-030-63618-0_12}}},
  quotes = {... For instance, Fluctuat [10, 11] is an abstract interpreter that combines affine arithmetic and zonotopes to analyze the robustness of programs over the floats, FPTaylor [23, 24] uses ...}
}