Milanez, Alysson F., Tiago L. Massoni, y 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 (marzo 21, 2022). Accedido abril 3, 2025. https://revistacaatinga.com.br/ecop/article/view/11161.