Yong Cao
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
PDF Fulltext XML References Citation
How to cite this article
Yong Cao and Qing-Xin Zhu, 2010. Finding Loop Invariants Based on Wu's Characteristic Set Method. Information Technology Journal, 9: 349-353.
DOI: 10.3923/itj.2010.349.353
URL: https://scialert.net/abstract/?doi=itj.2010.349.353
DOI: 10.3923/itj.2010.349.353
URL: https://scialert.net/abstract/?doi=itj.2010.349.353