29 January 2024

The journal article “Design and Implementation of Static Analyses for Tezos Smart Contracts”, by Luca Olivieri, Luca Negrini, Vincenzo Arceri, Thomas Jensen, Fausto Spoto, has just been published in “Distributed Ledger Technologies: Research and Practice”! Available here.