IRIS

Automated generation of smart contract code from legal contract specifications with Symboleo2SC / Rasti, A., Anda, A.A., Alfuhaid, S., Parvizimosaed, A., Amyot, D., Roveri, M., Logrippo, L., Mylopoulos, J.. - In: SOFTWARE AND SYSTEMS MODELING. - ISSN 1619-1366. - 24:4(2025), pp. 1127-1156. [10.1007/s10270-024-01187-9]

Automated generation of smart contract code from legal contract specifications with Symboleo2SC

Roveri, Marco;Mylopoulos, John
2025-01-01
2025
SOFTWARE AND SYSTEMS MODELING
4
2-s2.0-85197318779
WOS:001260353100001
Rasti, Aidin; Anda, Amal Ahmed; Alfuhaid, Sofana; Parvizimosaed, Alireza; Amyot, Daniel; Roveri, Marco; Logrippo, Luigi; Mylopoulos, John
Automated generation of smart contract code from legal contract specifications with Symboleo2SC / Rasti, A., Anda, A.A., Alfuhaid, S., Parvizimosaed, A., Amyot, D., Roveri, M., Logrippo, L., Mylopoulos, J.. - In: SOFTWARE AND SYSTEMS MODELING. - ISSN 1619-1366. - 24:4(2025), pp. 1127-1156. [10.1007/s10270-024-01187-9]
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/494692
 Attenzione

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

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