A. F. . Milanez, T. L. Massoni, e R. Gheyi, «Detecting and Classifying Nonconformances in Code Contracts with ContractOK», ECOP, vol. 2, n. 5, mar. 2022.