Evelim Rocha, Vandermi Silva, and Andrey Rodrigues. 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>, julho 01, 2025, Itacoatiara/AM, Brasil. SBC, Porto Alegre, Brasil, 194-201. DOI: <a href="https://doi.org/10.5753/connect.2025.12111">https://doi.org/10.5753/connect.2025.12111</a>.