@inproceedings{Muller-Olm04Generic,
  author = {Markus M\"uller-Olm and Helmut Seidl},
  title = {A {G}eneric {F}ramework for {I}nterprocedural {A}nalyses of {N}umerical {P}roperties},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning},
  editor = {Franz Baader and Andrei Voronkov},
  month = {March},
  year = 2004,
  pages = {432-432},
  series = {Lecture Notes in Computer Science},
  volume = {3452},
  publisher = {Springer},
  address = {Montevideo, Uruguay},
}