H. Santos, F. Pereira, and L. Oliveira.
" Verificação Estática de Acessos a Arranjos em C", in <em>Proceedings of the 13th Brazilian Symposium on Information and Computational Systems Security</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>.