RAMOS, J.-P. Evaluating Soundness of a Gradual Verifier with Property Based Testing. Cornell Undergraduate Research Journal, [S. l.], v. 2, n. 1, p. 17–27, 2023. DOI: 10.37513/curj.v2i1.696. Disponível em: https://journals.library.cornell.edu/index.php/CURJ/article/view/696. Acesso em: 26 jul. 2024.