Partners meet at ATVA’15 andreaDecember 30, 2015December 30, 2015 Uncategorized Several partners from both Germany and China meet during ATVA 2015 held in Shanghai. Among them there are J.-P. Katoen from RWTH, H. Hermanns from SAU and L. Zhang from ISCAS. ← Yong Li from ISCAS visits Germany CAP kickoff meeting →
