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