@entry{gou-put-05-aa,
  author = {E Goubault and S Putot},
  title = {Weakly relational domains for floating-point computation analysis},
  journal = {First International Workshop on Numerical ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2005,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{http://www.lix.polytechnique.fr/~goubault/papers/NSAD05.pdf}}},
  quotes = {... But in affine arithmetic, the use of a sum of coefficients is only a means for getting more precision in the dynamic computation of bounds for the real value of a variable, and these ...}
}