SmaCoNat: Smart Contracts in Natural Language

Emanuel Regnath, Sebastian Steinhorst. SmaCoNat: Smart Contracts in Natural Language. In Hiren Patel, Tom J. Kazmierski, Sebastian Steinhorst, editors, 2018 Forum on Specification & Design Languages, FDL 2018, Garching, Germany, September 10-12, 2018. pages 5-16, IEEE, 2018. [doi]

Abstract

Abstract is missing.