ATVA - 专知主题

ATVA 2019是第17届自动化技术验证与分析国际研讨会。本次专题讨论会致力于促进自动化分析、验证和综合的理论和实践方面的研究，为国际研究界和该领域的工业界之间的互动提供一个论坛。官网链接：http://atva2019.iis.sinica.edu.tw/