Showing 1 - 1 results of 1 for search 'Meiyi Dai', query time: 0.02s
Refine Results
-
1
Formal Modeling and Verification of Smart Contracts with Spin by Zhe Yang, Meiyi Dai, Jian Guo
Published 2022-09-01
Article