A Few Graph-Based Relational Numerical Abstract Domains - Miné, Antoine (2007)
Keywords: Computer Science - Programming Languages