Research Article
Finding Loop Invariants Based on Wu's Characteristic Set Method
Yong Cao and Qing-Xin Zhu
Cao, Y., 2010. Application of wu's method to proving total correctness of recursive program. Inform. Technol. J., 9: 1431-1439. CrossRefDirect Link |
Application of wu s method to proving total correctness of recursive program. Information Technology Journal Vol. 9, Issue 7, 1431, 2010 |