Velasquez, B., 		Herring, J., & 		Hamid, N.
2024 Dec  4.  Formally Verified Implementation of the K-Nearest Neighbors Classification Algorithm. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :