Sena, L., 		Bessa, I., 		Cordeiro, L., 		Mota, E., & 		Gadelha, M.
(2019).
 Incremental Bounded Model Checking of Artificial Neural Networks in CUDA.
In <em>Anais do IX Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, (pp. 153-160). Porto Alegre: SBC.