M. Staderini, A. Pataricza, and A. Bondavalli.
" Static Analysis Tools Applied to Smart Contracts", in <em>Companion Proceedings of the 10th Latin-American Symposium on Dependable Computing</em>, Florianópolis, 2021, pp. 3-4, doi: <a href="https://doi.org/10.5753/ladc.2021.18529">https://doi.org/10.5753/ladc.2021.18529</a>.