IRIS

Engineering Smart Contracts with Symboleo: {A} Progress Report / Amyot, Daniel; Logrippo, Luigi; Mylopoulos, John; Roveri, Marco; Ahmed Anda, Amal; Parvizimosaed, Alireza; Alfuhaid, Sofana; Sharifi, Sepehr; Rasti, Aidin; Meloche, Regan; Sousa-Diaz, Daniel. - (2023), pp. 235-237. (Intervento presentato al convegno CASCON tenutosi a Las Vegas nel September 11-14, 2023) [10.5555/3615924.3623631].

Engineering Smart Contracts with Symboleo: {A} Progress Report

John Mylopoulos;Marco Roveri;
2023-01-01
2023
Proceedings of the 33rd Annual International Conference on ComputerScience and Software Engineering, CASCON 2023, Las Vegas, NV, USA,September 11-14, 2023
USA
ACM
Amyot, Daniel; Logrippo, Luigi; Mylopoulos, John; Roveri, Marco; Ahmed Anda, Amal; Parvizimosaed, Alireza; Alfuhaid, Sofana; Sharifi, Sepehr; Rasti, Aidin; Meloche, Regan; Sousa-Diaz, Daniel
Engineering Smart Contracts with Symboleo: {A} Progress Report / Amyot, Daniel; Logrippo, Luigi; Mylopoulos, John; Roveri, Marco; Ahmed Anda, Amal; Parvizimosaed, Alireza; Alfuhaid, Sofana; Sharifi, Sepehr; Rasti, Aidin; Meloche, Regan; Sousa-Diaz, Daniel. - (2023), pp. 235-237. (Intervento presentato al convegno CASCON tenutosi a Las Vegas nel September 11-14, 2023) [10.5555/3615924.3623631].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/400759
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact