Milanez, Alysson F., Tiago L. Massoni, e Rohit Gheyi. 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). https://revistacaatinga.com.br/ecop/article/view/11161.