| 标题 |
 Vulnerable Smart Contract Detection by Means of Model Checking 基于模型检验的智能合约漏洞检测
相关领域
自动机
脆弱性（计算）
权力下放
编码（集合论）
计算机科学
智能合约
分布式计算
计算机安全
理论计算机科学
程序设计语言
法学
块链
政治学
集合（抽象数据类型）
|
| 网址 | |
| DOI | |
| 其它 |
期刊： 作者：Giuseppe Crincoli; Giacomo Iadarola; Piera Elena La Rocca; Fabio Martinelli; Francesco Mercaldo; et al 出版日期：2022-05-30 |
| 求助人 | |
| 下载 | 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
浮游
changping
tuanheqi
zcl
小青椒
Smar_zcl
wlscj
star
lalala
Tourist
风中冰香
个性的紫菜
小杭76
哈基米德
那时花开
GingerF
彭于彦祖
机灵班
凤凰
eric888
子车茗
LPPQBB
菠菜
yznfly
皖公网安备34019202002308
