Santos, H., 		Pereira, F., & 		Oliveira, L.
2013 nov 11.  Verificação Estática de Acessos a Arranjos em C. Anais do Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg). [Online] :