Velasquez, B., 		Herring, J., & 		Hamid, N.
2024 dez  4.  Formally Verified Implementation of the K-Nearest Neighbors Classification Algorithm. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :