@inproceedings{FrielinghausSAS16, author = {Stefan {Schulze Frielinghaus} and Helmut Seidl and Ralf Vogler}, title = {Enforcing {T}ermination of {I}nterprocedural {A}nalysis}, booktitle = {Proceedings of the 23rd International Symposium on Static Analysis, SAS}, editor = {Xavier Rival}, year = 2016, pages = {447--468}, series = {Lecture Notes in Computer Science}, volume = {9837}, publisher = {Springer}, doi = {10.1007/978-3-662-53413-7_22}, }