« Investigating the Use of JML Contracts ». Anais do Encontro de Computação do Oeste Potiguar ECOP/UFERSA (ISSN 2526-7574) 2, no. 5 (mars 21, 2022). Consulté le octobre 2, 2026. https://periodicos.ufersa.edu.br/index.php/ecop/article/view/11162.