@entry{gou-put-11-aa,
  author = {E Goubault and S Putot},
  title = {Static analysis of finite precision computations},
  journal = {... Workshop on Verification, Model Checking, and ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2011,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://link.springer.com/chapter/10.1007/978-3-642-18275-4_17}}},
  quotes = {... x ,r x ,e x ) relying on a zonotopic weakly-relational abstract domain for the analysis of real value variables, based on ideas from affine arithmetic [2]: these domains that we developed ...}
}