Rocha, Evelim, Vandermi J. da Silva, and Andrey A. de O. Rodrigues.
" Verificação Formal de Software para Internet das Coisas com Validação de Aplicações em Kotlin/Java." <em>Anais da II Conferência de Tecnologia do ICET,
Itacoatiara/AM, 2025</em>. SBC, 2025,  
pp.194-201.