@entry{gou-13-aa-fluctuat,
  author = {E Goubault},
  title = {Static analysis by abstract interpretation of numerical programs and systems, and FLUCTUAT},
  journal = {International Static Analysis Symposium,},
  volume = {},
  number = {},
  pages = {},
  year = 2013,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://link.springer.com/chapter/10.1007/978-3-642-38856-9_1}}},
  quotes = {... from abstract interpretation of course [8], but also over methods from applied mathematics, most notably from the \uc{201c}guaranteed computations\uc{201d} or \uc{201c}interval\uc{201d} community (affine arithmetic [7] ...}
}