Minimally Comparing Relational Abstract Domains.

Kenny Ballou, Elena Sherman

Browse the full ATVA paper archive.