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 de Tecnologia do ICET (CONNECTech). [Online] :