![](/img/cover-not-exists.png)
[IEEE 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI) - Portland, OR, USA (2019.11.4-2019.11.6)] 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI) - Combining Constraint Languages via Abstract Interpretation
Talbot, Pierre, Cachera, David, Monfroy, Eric, Truchet, CharlotteYear:
2019
Language:
english
DOI:
10.1109/ictai.2019.00016
File:
PDF, 1.87 MB
english, 2019