Matulevicius, N., & 		Cordeiro, L.
2021 nov 22.  Verifying Security Vulnerabilities for Blockchain-based Smart Contracts. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :