Sena, L., 		Bessa, I., 		Cordeiro, L., 		Mota, E., & 		Gadelha, M.
2019 nov 19.  Incremental Bounded Model Checking of Artificial Neural Networks in CUDA. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :