@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}, }