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

Show activities from other conferences

FSE 2024-profile
View general profile