
Registered user since Thu 16 Jun 2022
Name:Zeqin Liao
Country:China
Affiliation:Sun Yat-sen University
Research interests:static analysis,software engineering,bug finding,formal verification
Contributions
FSE 2024-profile
View general profile
View general profile