Reduced Product Combination of Abstract Domains for Shapes.
| Autor: | Toubhans, Antoine, Chang, Bor-Yuh Evan, Rival, Xavier |
|---|---|
| Zdroj: | Verification, Model Checking & Abstract Interpretation (9783642358722); 2013, p375-395, 21p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|