Proving conditional termination for smart contracts

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

7 Scopus citations

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

Engineering & Materials Science