SmartCoCo: Checking Comment-Code Inconsistency in Smart Contracts via Constraint Propagation and Binding | IEEE Conference Publication | IEEE Xplore