Registered user since Thu 13 Dec 2018

Name: Minxue Pan

Country: China

Affiliation: Nanjing University

Research interests: Program analysis and verification, Model checking, Mobile application analysis, Software mining.

Contributions