Silva, B. (2014). Detecção Estática e Consistente de Potenciais Estouros de Arranjos. In Proceedings of the 14th Brazilian Symposium on Information and Computational Systems Security, (pp. 314-317). Porto Alegre: SBC. doi:10.5753/sbseg.2014.20142