Mirko Staderini, András Pataricza, and Andrea Bondavalli. 2021.
 Static Analysis Tools Applied to Smart Contracts. In <em>Anais Estendidos do X Latin-American Symposium on Dependable Computing</em>, novembro 22, 2021, Florianópolis, Brasil. SBC, Porto Alegre, Brasil, 3-4. DOI: <a href="https://doi.org/10.5753/ladc.2021.18529">https://doi.org/10.5753/ladc.2021.18529</a>.