面向以太坊的智能合约形式化验证平台
还剩14页未读,如需继续阅读请登录下载或购买。
消费积分:4 ￥4.00 元
本站会员登录后可使用积分获取文档,非会员可扫码支付直接获取文档.
　　　　　　
文档信息
  • 编码:223193160
  • 标题:面向以太坊的智能合约形式化验证平台
  • 作者:杨霸
  • 类型:会议文档 PDF
  • 年份:2018
  • 页数:22页
  • 大小:1.42MB
  • 积分:4
标签
以太坊　　智能合约　　金融　　金融　　智能　　金融科技　　平台　　平台　　金融科技　　金融科技　　
同类相关 　　同分类下有 525个文档
也许您感兴趣 　　根据关键词 智能合约推荐
相关主题
在手机上打开