"A Simple and General Method for Integrating Abstract Interpretation in ..."

Dante Baldan et al. (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics