@entry{gao-14-aa,
  author = {Z Gao},
  title = {Numerical program analysis and testing},
  journal = {Proceedings of the 22nd ACM SIGSOFT International ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2014,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://dl.acm.org/doi/abs/10.1145/2635868.2666603?casa_token=2hMxBxH55hMAAAAA:06XeNzIsghTr55d24tInyhkkDPFoF8NUwVpkLJd-pLUY4X5SnfpqvUtJpBmCMU8DXQhjqG-JGM0}}},
  quotes = {... Affine arithmetic, introduced by Comba and Stolfi in 1993 [5], is a model for numerical ... Goubault first applied affine arithmetic to abstract interpretation in 2001 [12], intending to statically ...}
}