Research Article
Finding Loop Invariants Based on Wu's Characteristic Set Method
Institute of Computer Science and Engineering, University of Electronic Science and Technology, China
Qing-Xin Zhu
Institute of Computer Science and Engineering, University of Electronic Science and Technology, China