Yong Cao
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, 2010. Application of Wus Method to Proving Total Correctness of Recursive Program. Information Technology Journal, 9: 1431-1439.
DOI: 10.3923/itj.2010.1431.1439
URL: https://scialert.net/abstract/?doi=itj.2010.1431.1439
DOI: 10.3923/itj.2010.1431.1439
URL: https://scialert.net/abstract/?doi=itj.2010.1431.1439