FormaliSE 2025
Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025
Minxue Pan

Registered user since Thu 13 Dec 2018

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

Contributions

Show activities from other conferences

ICSE 2025-profile
View general profile