Construction of Abstract Domains for Heterogeneous Properties (Position Paper).
| Autor: | Rival, Xavier, Toubhans, Antoine, Chang, Bor-Yuh Evan |
|---|---|
| Zdroj: | Leveraging Applications of Formal Methods, Verification & Validation. Specialized Techniques & Applications: Part II; 2014, p489-492, 4p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|