ISSTA 2025 (series) / Geguang Pu
Registered user since Wed 31 Jan 2024
Name:Geguang Pu
Country:China
Affiliation:East China Normal University, China
Research interests:Formal Methods, Model Checking, Software Testing, Requirement Engineering
Contributions
ISSTA 2025-profile
View general profile
View general profile