Meixun Qu

According to our database, Meixun Qu authored at least 1 paper in 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Formal Verification of Smart Contracts from the Perspective of Concurrency.

Meixun Qu, Xin Huang, Xu Chen, Yi Wang, Xiaofeng Ma, Dawei Liu

Proceedings of the Smart Blockchain - First International Conference, 2018