Rocha, Evelim, 		Silva, Vandermi, AND 		Rodrigues, Andrey.
" Formal Software Verification for the Internet of Things with Application Validation in Kotlin/Java" <em>Proceedings of the ICET Technology Conference (CONNECTech)</em> [Online], (1 July 2025)