阅读论文Formal verification of smart contracts based on users and blockchain behaviors models
1 题目(Formal verification of smart contracts based on users and blockchain behaviors models)
1.1 作者、出处、年份、发表期刊/会议
Tesnim Abdellatify, Kei-Leo Brousmiche∗
∗IRT SystemX, Paris-Saclay, France, Email: kei-leo.brousmiche@irt-systemx.fr
yEDF R&D, Paris-Saclay
原创
2020-09-05 23:15:05 ·
723 阅读 ·
0 评论