Rocha, Evelim, Vandermi J. da Silva, and Andrey Rodrigues.
" Verificação Formal de Software para Internet das Coisas com Validação de Aplicações em Kotlin/Java: Mapeamento Sistemático Preliminar." <em>Anais da I Conferência Connect Tech,
Itacoatiara/AM, 2024</em>. SBC, 2024,  
pp.62-66.