“Investigating the Use of JML Contracts”. 2022. Anais Do Encontro De Computação Do Oeste Potiguar ECOP UFERSA (ISSN 2526-7574) 2 (5). https://revistacaatinga.com.br/index.php/ecop/article/view/11162.