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: Mapeamento Sistemático Preliminar", in <em>Anais da I Conferência Connect Tech</em>, Itacoatiara/AM, 2024, pp. 62-66, doi: <a href="https://doi.org/10.5753/connect.2024.238553">https://doi.org/10.5753/connect.2024.238553</a>.