FREIRE, Lucas; 						NEVES, Miguel; 						SCHAEFFER-FILHO, Alberto; 						BARCELLOS, Marinho.
Combatendo vulnerabilidades em programas P4 com verificação baseada em asserções. <em>In</em>: SIMPÓSIO BRASILEIRO DE SEGURANÇA DA INFORMAÇÃO E DE SISTEMAS COMPUTACIONAIS (SBSEG), 17.	, 2017, Brasília.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2017
.
 p. 306-319. 
		DOI: <a href="https://doi.org/10.5753/sbseg.2017.19508">https://doi.org/10.5753/sbseg.2017.19508</a>.