Pereira, P., 		Albuquerque, H., 		Marques, H., 		Silva, I., 		Santos, V., 		Ferreira, R., 		Carvalho, C., & 		Cordeiro, L.
2015 out 18.  Verificação de Kernels em Programas CUDA usando Bounded Model Checking. Anais do Simpósio em Sistemas Computacionais de Alto Desempenho (SSCAD). [Online] :