@inproceedings{Muller-Olm05Generic,
  author = {Markus M\"uller-Olm and Helmut Seidl},
  title = {A {G}eneric {F}ramework for {I}nterprocedural {A}nalysis of {N}umerical {P}roperties},
  booktitle = {Static Analysis},
  editor = {Chris Hankin and Igor Siveroni},
  month = {September},
  year = 2005,
  pages = {235-250},
  series = {Lecture Notes in Computer Science},
  volume = {3672},
  publisher = {Springer},
  address = {London, UK},
}