Design and Implementation of Static Analyses for Tezos Smart Contracts / Olivieri, L., Negrini, L., Arceri, V., Jensen, T., Spoto, F.. - 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.


