| Original language | English |
|---|---|
| State | Published - May 22 2018 |
Proving conditional termination for smart contracts
Ton Chanh Le, Lei Xu, Lin Chen, Weidong Shi
Research output: Contribution to conference › Paper › peer-review
Ton Chanh Le, Lei Xu, Lin Chen, Weidong Shi
Research output: Contribution to conference › Paper › peer-review
| Original language | English |
|---|---|
| State | Published - May 22 2018 |