Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research
Original language | English |
---|---|
Title of host publication | Proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019) |
Publisher | Springer |
Pages | 247-274 |
ISBN (Electronic) | 978-3-030-11245-5 |
ISBN (Print) | 978-3-030-11244-8 |
DOIs | |
Publication status | Published - 13 Jan 2019 |
Event | 20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019) - Cascais, Portugal Duration: 13 Jan 2019 → 15 Jan 2019 Conference number: 20 https://popl19.sigplan.org/track/VMCAI-2019 |
Conference | 20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019) |
---|---|
Abbreviated title | VMCAI |
Country | Portugal |
City | Cascais |
Period | 13/01/19 → 15/01/19 |
Internet address |
ID: 40502204