Rocha, E., 		Silva, V., & 		Rodrigues, A.
(2024).
 Verificação Formal de Software para Internet das Coisas com Validação de Aplicações em Kotlin/Java: Mapeamento Sistemático Preliminar.
In <em>Anais da I Conferência Connect Tech</em>, (pp. 62-66). Porto Alegre: SBC.
doi:10.5753/connect.2024.238553