Rocha, E., 		Silva, V., & 		Rodrigues, A.
(2025).
 Verificação Formal de Software para Internet das Coisas com Validação de Aplicações em Kotlin/Java.
In <em>Anais da II Conferência de Tecnologia do ICET</em>, (pp. 194-201). Porto Alegre: SBC.
doi:10.5753/connect.2025.12111