Milanez, Alysson F., Tiago L. Massoni, and Rohit Gheyi. “Detecting and Classifying Nonconformances in Code Contracts With ContractOK”. Anais do Encontro de Computação do Oeste Potiguar ECOP/UFERSA (ISSN 2526-7574) 2, no. 5 (March 21, 2022). Accessed July 3, 2024. https://periodicos.ufersa.edu.br/ecop/article/view/11161.