Pereira, Phillipe, 		Albuquerque, Higo, 		Marques, Hendrio, 		Silva, Isabela, 		Santos, Vanessa, 		Ferreira, Ricardo, 		Carvalho, Celso, E 		Cordeiro, Lucas.
" Verificação de Kernels em Programas CUDA usando Bounded Model Checking" <em>Anais do Simpósio em Sistemas Computacionais de Alto Desempenho (SSCAD)</em> [Online], (18 outubro 2015)