ATVA 2020
Jump to navigation
Jump to search
| Name | Value |
|---|---|
| isA | Event |
| Acronym | ATVA 2020 |
| Title | 18th International Symposium on Automated Technology for Verification and Analysis |
| Start date | 2020/10/19 |
| End date | 2020/10/23 |
| Homepage | http://fit.uet.vnu.edu.vn/atva2020/ |
| ... | ... |