Pereira, P., 		Albuquerque, H., 		Marques, H., 		Silva, I., 		Santos, V., 		Ferreira, R., 		Carvalho, C., & 		Cordeiro, L.
2015 Oct 18.  Verificação de Kernels em Programas CUDA usando Bounded Model Checking. Proceedings of the Symposium on High Performance Computing Systems (SSCAD). [Online] :