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.

© 2015 Institute of Computer Software, Nanjing University. All rights reserved.