Phillipe Pereira <em>et al. </em>2015.
 Verificação de Kernels em Programas CUDA usando Bounded Model Checking. In <em>Anais do XVI Simpósio em Sistemas Computacionais de Alto Desempenho</em>, outubro 18, 2015, Florianópolis, Brasil. SBC, Porto Alegre, Brasil, 24-35. DOI: <a href="https://doi.org/10.5753/wscad.2015.14269">https://doi.org/10.5753/wscad.2015.14269</a>.