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