Milanez, Alysson F., Tiago L. Massoni, e 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 (março 21, 2022). Acessado abril 28, 2024. https://periodicos.ufersa.edu.br/ecop/article/view/11161.