Freire, Lucas, 		Neves, Miguel, 		Schaeffer-Filho, Alberto, AND 		Barcellos, Marinho.
" Combatendo vulnerabilidades em programas P4 com verificação baseada em asserções" <em>Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg)</em> [Online], (6 November 2017)