Rocha, Evelim, 		Silva, Vandermi, E 		Rodrigues, Andrey.
" Verificação Formal de Software para Internet das Coisas com Validação de Aplicações em Kotlin/Java: Mapeamento Sistemático Preliminar" <em>Anais da Conferência de Tecnologia do ICET (CONNECTech)</em> [Online], (20 fevereiro 2024)