Name:Geguang Pu

Country:China

Affiliation:East China Normal University, China

Research interests:Formal Methods, Model Checking, Software Testing, Requirement Engineering