@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},
}