Ramos, Jan-Paul. “Evaluating Soundness of a Gradual Verifier With Property Based Testing”. Cornell Undergraduate Research Journal 2, no. 1 (May 8, 2023): 17–27. Accessed May 23, 2024. https://journals.library.cornell.edu/index.php/CURJ/article/view/696.