TY  - RPRT
TI  - Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts
AU  - João Santos Reis
AU  - Paul Crocker
AU  - Simão Melo de Sousa
PY  - 2020
UR  - https://arxiv.org/abs/2005.11839
ID  - 2005.11839
ER  -