SANTOS, Henrique Nazaré; 						PEREIRA, Fernando Magno Quintão; 						OLIVEIRA, Leonardo Barbosa.
 Verificação Estática de Acessos a Arranjos em C. <em>In</em>: SIMPÓSIO BRASILEIRO DE SEGURANÇA DA INFORMAÇÃO E DE SISTEMAS COMPUTACIONAIS (SBSEG), 13.	, 2013, Manaus.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2013
.
 p. 198-211. 
		DOI: <a href="https://doi.org/10.5753/sbseg.2013.19546">https://doi.org/10.5753/sbseg.2013.19546</a>.