Proving Conditional Termination for Smart Contracts

Ton Chanh Le, Lei Xu, Lin Chen, Weidong Shi
May 2018
PDF
Type
Conference paper
Publication
Proceedings of the 2nd ACM Workshop on Blockchains, Cryptocurrencies, and Contracts