@entry{gho-11-aa,
  author = {K Ghorbal},
  title = {Static analysis of numerical programs: constrained affine sets abstract domain},
  journal = {},
  volume = {},
  number = {},
  pages = {},
  year = 2011,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://pastel.archives-ouvertes.fr/pastel-00643442/}}},
  quotes = {... The affine arithmetic as well as most of its known extensions are covered by Section 3.3. The Perturbed Affine Sets abstract domain is briefly introduced in Section 3.3. The last section ...}
}