Prasad, Prajish, and Sridhar Iyer. “VeriSIM: A Model-Based Learning Pedagogy for Fostering Software Design Evaluation Skills in Computer Science Undergraduates”. Research and Practice in Technology Enhanced Learning 17 (May 31, 2022). Accessed December 22, 2024. https://rptel.apsce.net/index.php/RPTEL/article/view/2022-17022.