"Abstract Domains for Automated Reasoning about List-Manipulating Programs ..."

Ahmed Bouajjani et al. (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics