Citation to this article as recorded by
State Based Static and Dynamic Formal Analysis of UML State
Diagrams Journal of Software Engineering and Applications Vol. 05, Issue 07, 483, 2012 |
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