A Mense, M Flatscher - Proceedings of the 20th international conference …, 2018 - dl.acm.org
Smart contracts (SC) are one of the most appealing features of blockchain technologies
facilitating, executing, and enforcing predefined terms of coded contracts without …