我要投稿
智能合约的形式化验证方法
胡凯
Formal Verification Method of Smart Contract
信息安全研究 . 2016, (12): 1080 -1089 . 

京ICP备19004174号
　 版权所有 © 《信息安全研究》杂志社有限公司
地址：北京市西城区三里河路58号 国家信息中心　邮编：100045　
电话：010-68558637　 Email：ris@cei.cn　监督举报电话：010-68558637
技术支持：北京玛格泰克科技发展有限公司