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