Rocha, E., 		Silva, V., & 		Rodrigues, A.
2025 jul  1.  Verificação Formal de Software para Internet das Coisas com Validação de Aplicações em Kotlin/Java. Anais da Conferência de Tecnologia do ICET (CONNECTech). [Online] :