Freire, Lucas, Miguel Neves, Alberto Schaeffer-Filho, and Marinho Barcellos.
" Combatendo vulnerabilidades em programas P4 com verificação baseada em asserções." <em>Proceedings of the 17th Brazilian Symposium on Information and Computational Systems Security,
Brasília, 2017</em>. SBC, 2017,  
pp.306-319.