Freire, L., 		Neves, M., 		Schaeffer-Filho, A., & 		Barcellos, M.
(2017).
Combatendo vulnerabilidades em programas P4 com verificação baseada em asserções.
In <em>Anais do XVII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais</em>, (pp. 306-319). Porto Alegre: SBC.
doi:10.5753/sbseg.2017.19508