Santos, Henrique, 		Pereira, Fernando, E 		Oliveira, Leonardo.
" Verificação Estática de Acessos a Arranjos em C" <em>Anais do Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg)</em> [Online], (11 novembro 2013)