Rocha, E., 		Silva, V., & 		Rodrigues, A.
2024 fev 20.  Verificação Formal de Software para Internet das Coisas com Validação de Aplicações em Kotlin/Java: Mapeamento Sistemático Preliminar. Anais da Conferência Connect Tech. [Online] :