@techreport{Seidl02Interprocedural, author = {Helmut Seidl and Varmo Vene and Markus M\"uller-Olm}, title = {Interprocedural {I}nvariants}, year = 2002, series = {Forschungsbericht}, volume = {02-10}, publisher = {Universit\"at Trier, Mathematik/Informatik}, }