Author:
Xue Jinyun,Zheng Yujun,Hu Qimin,You Zhen,Xie Wuping,Cheng Zhuo
Publisher
Springer International Publishing
Reference45 articles.
1. Abrial, J.-R.: The B Book - Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Adesina, O.: Integrating formal methods with model-driven engineering. In: International Conference on Model-Driven Engineering Languages and Systems, Ottawa, Canada (2015)
3. Backhouse, R.C.: Program Construction and Verification. Prentice Hall International, London (1986)
4. Lecture Notes in Computer Science;D Bjørner,2014
5. Clarke, E.M., Wing, J.M.: Formal methods: state of the art and future directions. ACM Comput. Surv. 28(4), 626–643 (1996)
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献