Yiqun Wang
- Institute of Computer Software, Nanjing University
- Room 824, Computer Science and Technology Building
- wyqqrince (at) gmail dot com
Supervisor
Publications
-
Yiqun Wang, Shengwei An, Xiaoxing Ma, Chun Cao, and Chang Xu,
“Verifying Distributed Controllers with Local Invariants”,
in 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS)
,
2016.