C. Yong, “Application of Wu’s Method to Proving Total Correctness of Recursive Program,” Information Technology Journal, Vol. 9, No. 7, 2010, pp. 1431-1439. doi:10.3923/itj.2010.1431.1439
has been cited by the following article:
Related Articles: