@inproceedings{Flexeder06Interprocedurally, author = {Andrea Flexeder and Michael Petter and Helmut Seidl}, title = {Interprocedurally {A}nalysing {L}inear {I}nequalities}, booktitle = {18th Nordic Workshop on Programming Theory}, year = 2006, address = {Reykjavik, Iceland}, }