Konstantinos Tsiounis, Kostas Kontogiannis. Goal Driven Code Generation for Smart Contract Assemblies. In Proceedings of the 12th International Conference on Software and Computer Applications, ICSCA 2023, Kuantan, Malaysia, February 23-25, 2023. pages 112-121, ACM, 2023. [doi]
Abstract is missing.