VMCAI 2020
Jump to navigation
Jump to search
| Name | Value |
|---|---|
| isA | Event |
| Acronym | VMCAI 2020 |
| Title | 21st International Conference on Verification, Model Checking, and Abstract Interpretation |
| Start date | 2020/01/19 |
| End date | 2020/01/21 |
| Homepage | https://popl20.sigplan.org/home/VMCAI-2020 |
| ... | ... |