Investigating the Use of JML Contracts. Anais do Encontro de Computação do Oeste Potiguar ECOP/UFERSA (ISSN 2526-7574), v. 2, n. 5, 21 mars2022.