ROCHA, Evelim B.; 						SILVA, Vandermi J. da; 						RODRIGUES, Andrey.
 Verificação Formal de Software para Internet das Coisas com Validação de Aplicações em Kotlin/Java: Mapeamento Sistemático Preliminar. <em>In</em>: CONFERÊNCIA CONNECT TECH, 1.	, 2024, Itacoatiara/AM.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2024
.
 p. 62-66. 
		DOI: <a href="https://doi.org/10.5753/connect.2024.238553">https://doi.org/10.5753/connect.2024.238553</a>.