Santos, Henrique, 		Pereira, Fernando, AND 		Oliveira, Leonardo.
" Verificação Estática de Acessos a Arranjos em C" <em>Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg)</em> [Online], (11 November 2013)