Nedas Matulevicius and Lucas Cordeiro. 2021.
Verifying Security Vulnerabilities for Blockchain-based Smart Contracts. In <em>Anais do XI Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, novembro 22, 2021, Evento Online, Brasil. SBC, Porto Alegre, Brasil, 89-96.