Registered user since Thu 13 Dec 2018
Name:Minxue Pan
Country:China
Affiliation:Nanjing University
Personal website: https://minxuepan.github.io/
Research interests:Program analysis and verification, Model checking, Mobile application analysis, Software mining.
Contributions
ICSE 2019-profile
View general profile
View general profile