Engineering Smart Contracts with Symboleo: A Progress Report

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]

Authors

Daniel Amyot

This author has not been identified. Look up 'Daniel Amyot' in Google

Luigi Logrippo

This author has not been identified. Look up 'Luigi Logrippo' in Google

John Mylopoulos

This author has not been identified. Look up 'John Mylopoulos' in Google

Marco Roveri

This author has not been identified. It may be one of the following persons: Look up 'Marco Roveri' in Google

Amal Ahmed Anda

This author has not been identified. Look up 'Amal Ahmed Anda' in Google

Alireza Parvizimosaed

This author has not been identified. Look up 'Alireza Parvizimosaed' in Google

Sofana Alfuhaid

This author has not been identified. Look up 'Sofana Alfuhaid' in Google

Sepehr Sharifi

This author has not been identified. Look up 'Sepehr Sharifi' in Google

Aidin Rasti

This author has not been identified. Look up 'Aidin Rasti' in Google

Regan Meloche

This author has not been identified. Look up 'Regan Meloche' in Google

Daniel Sousa-Diaz

This author has not been identified. Look up 'Daniel Sousa-Diaz' in Google