Matulevicius, N., & 		Cordeiro, L.
(2021).
Verifying Security Vulnerabilities for Blockchain-based Smart Contracts.
In <em>Anais do XI Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, (pp. 89-96). Porto Alegre: SBC.