Santos, H., 		Pereira, F., & 		Oliveira, L.
(2013).
 Verificação Estática de Acessos a Arranjos em C.
In <em>Anais do XIII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais</em>, (pp. 198-211). Porto Alegre: SBC.
doi:10.5753/sbseg.2013.19546