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