Reduced Product Combination of Abstract Domains for Shapes.

Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival

Browse the full VMCAI paper archive.