Proving Conditional Termination for Smart Contracts

Publication
Proceedings of the 2nd ACM Workshop on Blockchains, Cryptocurrencies, and Contracts