@entry{gou-put-07-aa-under,
  author = {E Goubault and S Putot},
  title = {Under-approximations of computations in real numbers based on generalized affine arithmetic},
  journal = {International Static Analysis Symposium,},
  volume = {},
  number = {},
  pages = {},
  year = 2007,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://link.springer.com/chapter/10.1007/978-3-540-74061-2_9}}},
  quotes = {... 2.3 Semantics of Non Affine Arithmetic Operations We use for the under-approximation of the result of non affine arithmetic operations, an extension of the mean-value theorem to ...}
}