FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
Changjing Wang

Registered user since Tue 24 Jan 2023

Name:Changjing Wang
Bio:

Changjing Wang received the PhD degree from Institute of Software, Chinese Academy of Science, China, in 2012. He is currently a professor with the College of Computer Information and Engineering, Jiangxi Normal University, China. His research interests include formal method, highly trusted software and intelligent software.

Country:China
Affiliation:School of Computer Information Engineering, Jiangxi Normal University

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile