“Detecting and Classifying Nonconformances in Code Contracts with ContractOK” (2022) Anais do Encontro de Computação do Oeste Potiguar ECOP/UFERSA (ISSN 2526-7574), 2(5). Available at: https://revistacaatinga.com.br/index.php/ecop/article/view/11161 (Accessed: 26 August 2025).