Abstract Domains and Solvers for Sets Reasoning.
| Autor: | Cox, Arlen, Chang, Bor-Yuh Evan, Li, Huisong, Rival, Xavier |
|---|---|
| Zdroj: | Logic for Programming, Artificial Intelligence & Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings; 2015, p356-371, 16p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|