@INPROCEEDINGS {36398,
author={JSR Reis and - Melo de Sousa and P. Crocker},
doi={},
booktitle={i-cav International Conference on Computer-Aided Verification CAV},
title={Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts},
year={2020},
month={July},
volume={},
pages={-} 
}