@article{GawlitzaSAGG12,
  author = {Thomas Martin Gawlitza and Helmut Seidl and Assal\'e Adj\'e and St\'ephane Gaubert and Eric Goubault},
  title = {Abstract interpretation meets convex optimization},
  journal = {J. Symb. Comput.},
  year = 2012,
  pages = {1416--1446},
  volume = {47},
  number = {12},
  doi = {10.1016/j.jsc.2011.12.048},
}