2019年1月9日
2018.1.9 区块链论文翻译
摘要： VeriSolid: Correct-by-Design Smart Contracts for Ethereum Vanderbilt University & University of Houston & Aristotle University of Thessaloniki FC, 201 阅读全文
posted @ 2019-01-09 10:35 窗明几净 阅读(251) 评论(0) 推荐(0) 编辑