Write a Blog >>
Minxue Pan

Registered user since Thu 13 Dec 2018

Name:Minxue Pan
Affiliation:Nanjing University, China
Research interests:Software modelling and verification, software analysis and testing, cyber-physical systems, mobile computing, intelligent software engineering


ESEC/FSE 2020 C2S: Translating Natural Language Comments to Formal Program Specifications
Show activities from other conferences

ESEC/FSE 2020-profile
View general profile