TY  - RPRT
TI  - Enforcing Termination of Interprocedural Analysis
AU  - Stefan Schulze Frielinghaus
AU  - Helmut Seidl
AU  - Ralf Vogler
PY  - 2016
UR  - https://arxiv.org/abs/1606.07687
ID  - 1606.07687
ER  -