Velasquez, B., 		Herring, J., & 		Hamid, N.
(2024).
 Formally Verified Implementation of the K-Nearest Neighbors Classification Algorithm.
In <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais</em>, (pp. 139-152). Porto Alegre: SBC.