Design and Implementation of Static Analyses for Tezos Smart Contracts / Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Jensen, Thomas; Spoto, Fausto. - In: DISTRIBUTED LEDGER TECHNOLOGIES. - ISSN 2769-6480. - (2024). [10.1145/3643567]
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.