Weakly Relational Numerical Abstract Domains (2004)

by A Miné