Fingerprint
Dive into the research topics of 'Formal verification of smart contracts from the perspective of concurrency'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Formal verification of smart contracts from the perspective of concurrency
Meixun Qu, Xin Huang*, Xu Chen, Yi Wang, Xiaofeng Ma, Dawei Liu
*Corresponding author for this work
Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review
12
Citations
(Scopus)