Santos, H., 		Pereira, F., & 		Oliveira, L.
(2013).
 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>, (pp. 198-211). Porto Alegre: SBC.
doi:10.5753/sbseg.2013.19546