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" <em>Anais da Conferência de Tecnologia do ICET (CONNECTech)</em> [Online], (1 julho 2025)