H. Santos, F. Pereira, and L. Oliveira.
"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>, Manaus, 2013, pp. 198-211, doi: <a href="https://doi.org/10.5753/sbseg.2013.19546">https://doi.org/10.5753/sbseg.2013.19546</a>.