Velasquez, Bernny, 		Herring, Jessica, AND 		Hamid, Nadeem.
" Formally Verified Implementation of the K-Nearest Neighbors Classification Algorithm" <em>Proceedings of the Brazilian Symposium on Formal Methods (SBMF)</em> [Online], (4 December 2024)