"Bounded Abstract Interpretation."

Maria Christakis, Valentin Wüstholz (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics