Milanez, A. F. ., Ataı́de I. N. S., e T. L. Massoni. “Investigating the Use of JML Contracts”. Anais Do Encontro De Computação Do Oeste Potiguar ECOP/UFERSA (ISSN 2526-7574), vol. 2, nº 5, março de 2022, https://periodicos.ufersa.edu.br/ecop/article/view/11162.