English
带时间约束的智能合约验证
赵颖琪, 朱雪阳, 李广元, 高雅, 包玉龙
Verification of Smart Contracts with Time Constraints
ZHAO Yingqi, ZHU Xueyang, LI Guangyuan, GAO Ya, BAO Yulong
应用科学学报 . 2021, (1): 1 -16 .  DOI: 10.3969/j.issn.0255-8297.2021.01.001