A Constraint Solver Based on Abstract Domains.
| Autor: | Pelleau, Marie, Miné, Antoine, Truchet, Charlotte, Benhamou, Frédéric |
|---|---|
| Zdroj: | Verification, Model Checking & Abstract Interpretation (9783642358722); 2013, p434-454, 21p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|