STADERINI, Mirko; PATARICZA, András; BONDAVALLI, Andrea. Static Analysis Tools Applied to Smart Contracts. In: FAST ABSTRACT - LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), 10. , 2021, Florianópolis. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2021 . p. 3-4. DOI: https://doi.org/10.5753/ladc.2021.18529.