阅读论文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.fryEDF R&D, Paris-Saclay
原创
2020-09-05 23:15:05 ·
861 阅读 ·
0 评论