E. Rocha, V. Silva, and A. Rodrigues.
" 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>, Itacoatiara/AM, 2025, pp. 194-201, doi: <a href="https://doi.org/10.5753/connect.2025.12111">https://doi.org/10.5753/connect.2025.12111</a>.