Santos, Henrique, Fernando Magno Quintão Pereira, and Leonardo Barbosa Oliveira.
" Verificação Estática de Acessos a Arranjos em C." <em>Proceedings of the 13th Brazilian Symposium on Information and Computational Systems Security,
Manaus, 2013</em>. SBC, 2013,  
pp.198-211.