Santos, Henrique, Fernando Magno Quintão Pereira, and Leonardo Barbosa Oliveira.
"Verificação Estática de Acessos a Arranjos em C." <em>Anais do XIII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais,
Manaus, 2013</em>. SBC, 2013,  
pp.198-211.