B. Velasquez, J. Herring, and N. Hamid.
" Formally Verified Implementation of the K-Nearest Neighbors Classification Algorithm", in <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais</em>, Vitória/ES, 2024, pp. 139-152.