Registered user since Wed 19 May 2021
Name:Min Zhang
Country:China
Affiliation:East China Normal University
Personal website: https://faculty.ecnu.edu.cn/_s43/zm2/main.psp
Research interests:Machine Learning, Formal Verification,
Contributions
Using general profile