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