Registered user since Mon 15 Oct 2018

Name:Guohui Wang
Country:China
Affiliation:Capital Normal University, Beijing, China

Contributions

APLAS 2020 Author of Formal Verification of Atomicity Requirements for Smart Contracts within the Research Papers-track