Prasad P, Iyer S. VeriSIM: A model-based learning pedagogy for fostering software design evaluation skills in computer science undergraduates. RPTEL [Internet]. 2022 May 31 [cited 2024 Apr. 25];17. Available from: https://rptel.apsce.net/index.php/RPTEL/article/view/2022-17022