“Investigating the Use of JML Contracts” (2022) Anais do Encontro de Computação do Oeste Potiguar ECOP/UFERSA (ISSN 2526-7574), 2(5). Disponível em: https://periodicos.ufersa.edu.br/index.php/ecop/article/view/11162 (Acesso em: 2 outubro 2026).