Conference paper published in "2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops)"!

13 March 2023

The conference paper “MichelsonLiSA: A Static Analyzer for Tezos”, by Luca Olivieri, Thomas Jensen, Luca Negrini, Fausto Spoto, has just been published in “2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops)”! Available here.