题名：面向MSVL公司的智能合约形式化验证

作者：王小兵;杨潇钰;舒新峰;赵亮;

来源：

出版机构：同方知网（北京）技术有限公司

出版年:

内政部码：10.13328/j.cnki.jos.006253

注册时间：2021-06-04 12:35:30

以下是您获得的统一资源定位地址地址： http://www.jos.org.cn/1000-9825/6253.htm https://link.cnki.net/doi/10.13328/j.cnki.jos.006253(境内) https://link.oversea.cnki.net/doi/10.13328/j.cnki.jos.006253(境外)