Ramos, J.-P. (2023). Evaluating Soundness of a Gradual Verifier with Property Based Testing. Cornell Undergraduate Research Journal, 2(1), 17–27. https://doi.org/10.37513/curj.v2i1.696