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