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