@inproceedings{simon07taming, author = {A. Simon and A. King}, title = {Taming the {W}rapping of {I}nteger {A}rithmetic}, booktitle = {Static Analysis Symposium}, editor = {G. File and H. R. Nielson}, month = {August}, year = 2007, pages = {121--136}, series = {LNCS}, volume = {4634}, publisher = {Springer}, doi = {10.1007/978-3-540-74061-2_8}, address = {Kongens Lyngby, Denmark}, }