ATVA 2019
Jump to navigation
Jump to search
| Name | Value |
|---|---|
| isA | Event |
| Acronym | ATVA 2019 |
| Title | 17th International Symposium on Automated Technology for Verification and Analysis |
| Start date | 2019/10/27 |
| End date | 2019/10/31 |
| Homepage | http://atva2019.iis.sinica.edu.tw/ |
| ... | ... |