“Detecting and Classifying Nonconformances in Code Contracts with ContractOK”. Anais do Encontro de Computação do Oeste Potiguar ECOP/UFERSA (ISSN 2526-7574), vol. 2, nº 5, março de 2022, https://periodicos.ufersa.edu.br/index.php/ecop/article/view/11161.