@phdthesis{Petter10Thesis, author = {Michael Petter}, title = {Interprocedural {P}olynomial {I}nvariants}, school = {Institut f\"ur Informatik}, month = {September}, year = 2010, publisher = {Verlag Dr. Hut}, address = {Technische Universit\"at M\"unchen}, }