Meixun Qu

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Formal Verification

Concurrency Control

Top Venues

Publications

Meixun Qu, Xin Huang, Xu Chen, Yi Wang, Xiaofeng Ma, Dawei Liu
Formal Verification of Smart Contracts from the Perspective of Concurrency. SmartBlock (2018)