Matulevicius, Nedas, E 		Cordeiro, Lucas.
" Verifying Security Vulnerabilities for Blockchain-based Smart Contracts" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (22 novembro 2021)