Tezla, an intermediate representation for static analysis of Michelson smart contracts
Channel: FMBC 2020
Date: 2020-07-19

Tezla, an intermediate representation for static analysis of Michelson smart contracts, João Santos Reis, Paul Crocker and Simão Melo de Sousa