Maciel, Lucas, 		Novais, João, 		Souza, Matheus, 		Song, Mark, E 		Freitas, Henrique.
" Arquitetura Heterogênea CPU+FPGA para Análise Formal de Conceitos" <em>Anais do Simpósio em Sistemas Computacionais de Alto Desempenho (SSCAD)</em> [Online], (8 novembro 2019)