@entry{gou-rou-lec-lib-10-aa,
  author = {E Goubault and S Le Roux and J Leconte and L Liberti...},
  title = {Static analysis by abstract interpretation: A mathematical programming approach},
  journal = {Electronic notes in ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2010,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://www.sciencedirect.com/science/article/pii/S1571066110001362}}},
  quotes = {... Although we limit the discussion to integer affine arithmetic semantics in the interval domain, the flexibility and power of mathematical programming tools have the potential for enriching ...}
}