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