Velasco, G., & Carvalho, S. 2022 Oct 25. A model-driven approach to development of Smart Contracts on the Ethereum Virtual Machine. Proceedings of the Regional School on Informatics of Goiás (ERI-GO). [Online] :