@inproceedings{GawlitzaS10,
  author = {Thomas Martin Gawlitza and Helmut Seidl},
  title = {Computing {R}elaxed {A}bstract {S}emantics w.r.t. {Q}uadratic {Z}ones {P}recisely},
  booktitle = {Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings},
  editor = {Radhia Cousot and Matthieu Martel},
  year = 2010,
  pages = {271--286},
  publisher = {Springer, LNCS 6337},
  doi = {10.1007/978-3-642-15769-1_17},
}