Author:
You Zhen,Yi Xinwu,Xue Jinyun,Hu Hongwen,Huang Jiewen,Cheng Zhuo
Publisher
Springer International Publishing
Reference14 articles.
1. Michael, J.B., Dinolt, G.W., Drusinsky, D.: Open questions in formal methods. Computer 53(5), 81–84 (2020)
2. Malde, K., Giegerich, R.: Calculating PSSM probabilities with lazy dynamic programming. J. Funct. Program. 16(1), 75–81 (2006)
3. Derrick, G. Bruce, W.: The Correctness-by-Construction Approach to Programming. Springer, Berlin, Heidelberg (2012)
4. Xue, J.: A unified approach for developing efficient algorithm of programs. J. Comput. Sci. Technol. 12(4), 314–329 (1997)
5. You, Z., Xue, J., Zuo, Z.: Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms. Cluster Comput. 19(4), 2145–2156 (2016)