Sena, Luiz, 		Bessa, Iury , 		Cordeiro, Lucas , 		Mota, Edjard , E 		Gadelha, Mikhail .
" Incremental Bounded Model Checking of Artificial Neural Networks in CUDA" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (19 novembro 2019)