A Generalized Formal Semantic Framework for Smart Contracts.

Jiao Jiao, Shang-Wei Lin, Jun Sun

Browse the full FASE paper archive.