Construction of Abstract Domains for Heterogeneous Properties (Position Paper).

Xavier Rival, Antoine Toubhans, Bor-Yuh Evan Chang

Browse the full ISoLA paper archive.