Rocha, E., 		Silva, V., & 		Rodrigues, A.
(2024).
 Formal Verification of Software for the Internet of Things with Application Validation in Kotlin/Java: Preliminary Systematic Mapping.
In <em>Proceedings of the 1st Connect Tech Conference</em>, (pp. 62-66). Porto Alegre: SBC.
doi:10.5753/connect.2024.238553