Architetture di riferimento in contesti permissioned e permissionless

Smart contracts: linguaggi, modelli di esecuzione, criteri di qualità