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