Write a Blog >>
Minxue Pan

Registered user since Thu 13 Dec 2018

Name: Minxue Pan

Country: China

Affiliation: Nanjing University

Personal website: https://minxuepan.github.io/

Research interests: Software modelling and verification, software analysis and testing, cyber-physical systems, mobile computing, intelligent software engineering


ESEC/FSE 2020Author of C2S: Translating Natural Language Comments to Formal Program Specifications within the Research Papers-track
Show activities from other conferences

Using general profile