Santos, H., 		Pereira, F., & 		Oliveira, L.
2013 Nov 11.  Verificação Estática de Acessos a Arranjos em C. Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg). [Online] :