@inproceedings{Frielinghaus16Termination, author = {Stefan {Schulze Frielinghaus} and Helmut Seidl and Ralf Vogler}, title = {Enforcing {T}ermination of {I}nterprocedural {A}nalysis}, booktitle = {Static Analysis - 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings}, year = 2016, pages = {447--468}, doi = {10.1007/978-3-662-53413-7_22}, }