POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Zhonghan Wang

Registered user since Sun 15 Oct 2023

Name:Zhonghan Wang
Affiliation:State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
Research interests:Formal Method, Constraint Solving


Show activities from other conferences

POPL 2024-profile
View general profile