Detecting and Classifying Nonconformances in Code Contracts with ContractOK. ECOP. 2022;2(5). Consultato ottobre 2, 2026. https://periodicos.ufersa.edu.br/index.php/ecop/article/view/11161