ROCHA, Evelim B.; 						SILVA, Vandermi J. da; 						RODRIGUES, Andrey A. de O..
 Verificação Formal de Software para Internet das Coisas com Validação de Aplicações em Kotlin/Java. <em>In</em>: CONFERÊNCIA DE TECNOLOGIA DO ICET (CONNECTECH), 2.	, 2025, Itacoatiara/AM.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2025
.
 p. 194-201. 
		DOI: <a href="https://doi.org/10.5753/connect.2025.12111">https://doi.org/10.5753/connect.2025.12111</a>.