![Geguang Pu](https://2024.esec-fse.org/getProfileImage/geguangpu/7bb6a4bb-e29f-4a4d-850a-4ccac4f66a90/small.jpg?1711457590000)
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
Using general profile
Registered user since Wed 31 Jan 2024
Contributions