Velasquez, Bernny, 		Herring, Jessica, E 		Hamid, Nadeem.
" Formally Verified Implementation of the K-Nearest Neighbors Classification Algorithm" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (4 dezembro 2024)