Pereira, Phillipe, 		Albuquerque, Higo, 		Marques, Hendrio, 		Silva, Isabela, 		Santos, Vanessa, 		Ferreira, Ricardo, 		Carvalho, Celso, AND 		Cordeiro, Lucas.
" Verificação de Kernels em Programas CUDA usando Bounded Model Checking" <em>Proceedings of the Brazilian Symposium on High Performance Computing Systems (SSCAD)</em> [Online], (18 October 2015)