Freire, Lucas, 		Neves, Miguel, 		Schaeffer-Filho, Alberto, E 		Barcellos, Marinho.
" Combatendo vulnerabilidades em programas P4 com verificação baseada em asserções" <em>Anais do Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg)</em> [Online], (6 novembro 2017)