Freire, Lucas, Miguel Neves, Alberto Schaeffer-Filho, and Marinho Barcellos.
"Combatendo vulnerabilidades em programas P4 com verificação baseada em asserções." <em>Anais do XVII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais,
Brasília, 2017</em>. SBC, 2017,  
pp.306-319.