Daniel Amyot, Luigi Logrippo, John Mylopoulos, Marco Roveri, Amal Ahmed Anda, Alireza Parvizimosaed, Sofana Alfuhaid, Sepehr Sharifi, Aidin Rasti, Regan Meloche, Daniel Sousa-Diaz. Engineering Smart Contracts with Symboleo: A Progress Report. In Paria Shirani, Iosif-Viorel Onut, Paula Branco, editors, Proceedings of the 33rd Annual International Conference on Computer Science and Software Engineering, CASCON 2023, Las Vegas, NV, USA, September 11-14, 2023. pages 235-237, ACM, 2023. [doi]
Abstract is missing.