Guoqiang Li

Guoqiang Li

Associate Professor of School of Software, Shanghai Jiao Tong University
Verified email at sjtu.edu.cn
Cited by 1078
formal verification programming language theory knowledge reasoning and verification