@entry{gou-put-06-aa-static,
  author = {E Goubault and S Putot},
  title = {Static analysis of numerical algorithms},
  journal = {International Static Analysis Symposium,},
  volume = {},
  number = {},
  pages = {},
  year = 2006,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://link.springer.com/chapter/10.1007/11823230_3}}},
  quotes = {... We present here a domain using affine arithmetic for the floating-point computation. ... In section 2.1, we present briefly the principles of affine arithmetic for real numbers computations. ...}
}