Milanez, A. F. ., Massoni, T. L. y Gheyi, R. (2022) «Detecting and Classifying Nonconformances in Code Contracts with ContractOK», Anais do Encontro de Computação do Oeste Potiguar ECOP/UFERSA (ISSN 2526-7574), 2(5). Disponible en: https://periodicos.ufersa.edu.br/ecop/article/view/11161 (Accedido: 3 julio 2024).