Publisher
Springer Nature Switzerland
Reference22 articles.
1. Zhang, X.D.: Matrix Analysis and Applications, 2nd edn. Tsinghua University Press, Beijing (2013)
2. Wang, J., Zhan, N.J., Feng, X.Y., Liu, Z.M.: Overview of formal methods. Ruan Jian Xue Bao/J. Softw. 30(1), 33–61 (2019). (in Chinese with English abstract). https://doi.org/10.13328/j.cnki.jos.005652
3. Fisher, K., Launchbury, J., Richards, R.: The HACMS program: using formal methods to eliminate exploitable bugs. Philos. Trans. R. Soc. A, 375, 20150401 (2017). https://doi.org/10.1098/rsta.2015.0401
4. Chen, G., Shi, Z.P.: Formalized engineering mathematics. Commun. CCF 13(10) (2017). (in Chinese with English abstract)
5. Coq Development Team. The Coq Reference Manual 8.13.2. INRIA (2019)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献