VMCAI 2019
Jump to navigation
Jump to search
| Name | Value |
|---|---|
| isA | Event |
| Acronym | VMCAI 2019 |
| Title | 20th International Conference on Verification, Model Checking, and Abstract Interpretation |
| Start date | 2019/01/13 |
| End date | 2019/01/15 |
| Homepage | https://popl19.sigplan.org/track/vmcai-2019 |
| ... | ... |