Proving conditional termination for smart contracts

Ton Chanh Le, Lei Xu, Lin Chen, Weidong Shi

Research output: Contribution to conferencePaperpeer-review

Fingerprint Dive into the research topics of 'Proving conditional termination for smart contracts'. Together they form a unique fingerprint.