Milanez, Alysson F., Ataı́de Igor N. S., et Tiago L. Massoni. « Investigating the Use of JML Contracts ». Anais do Encontro de Computação do Oeste Potiguar ECOP/UFERSA (ISSN 2526-7574) 2, no. 5 (mars 21, 2022). Consulté le juillet 3, 2024. https://periodicos.ufersa.edu.br/ecop/article/view/11162.