conf.researchr.org / Zhonghan Wang
Registered user since Sun 15 Oct 2023
Name:Zhonghan Wang
Affiliation:Institute of Software/CAS China
Personal website: https://yogurt-shadow.github.io/
GitHub: https://github.com/yogurt-shadow
Research interests:Formal Method, Constraint Solving
Contributions