"Enforcing Termination of Interprocedural Analysis."

Stefan Schulze Frielinghaus, Helmut Seidl, Ralf Vogler (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics