Ramos J-P. Evaluating Soundness of a Gradual Verifier with Property Based Testing. CURJ [Internet]. 2023 May 8 [cited 2024 Jul. 27];2(1):17-2. Available from: https://journals.library.cornell.edu/index.php/CURJ/article/view/696