Xiaohui Liu -

Not registered as user yet

Name:Xiaohui Liu

Affiliation:Sun Yat-sen University

Contributions

2023

ASE

Author of SmartCoCo: Checking Comment-code Inconsistency in Smart Contracts via Constraint Propagation and Binding within the Research Papers-track