Registered user since Wed 31 Jan 2024
Name:Geguang Pu
Country:China
Affiliation:East China Normal University, China
Personal website: https://ggpu-ecnu.github.io
Research interests:Formal Methods, Model Checking, Software Testing, Requirement Engineering
Contributions
Using general profile