@entry{gou-put-09-aa,
  author = {E Goubault and S Putot},
  title = {A zonotopic framework for functional abstractions},
  journal = {arXiv preprint arXiv:0910.1763,},
  volume = {},
  number = {},
  pages = {},
  year = 2009,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://arxiv.org/abs/0910.1763}}},
  quotes = {... We present in this paper an abstract domain based on affine arithmetic [4] to bound the values of variables in numerical programs, with a real number semantics. Affine arithmetic can be ...}
}