MILANEZ, A. F. .; Ataı́de I. N. S.; MASSONI, T. L. Investigating the Use of JML Contracts. Anais do Encontro de Computação do Oeste Potiguar ECOP/UFERSA (ISSN 2526-7574), [S. l.], v. 2, n. 5, 2022. Disponível em: https://periodicos.ufersa.edu.br/ecop/article/view/11162. Acesso em: 2 maio. 2024.