Sena, L., 		Bessa, I., 		Cordeiro, L., 		Mota, E., & 		Gadelha, M.
2019 Nov 19.  Incremental Bounded Model Checking of Artificial Neural Networks in CUDA. Proceedings of the Brazilian Symposium on Computing Systems Engineering (SBESC). [Online] :