PRASAD, P.; IYER, S. VeriSIM: A model-based learning pedagogy for fostering software design evaluation skills in computer science undergraduates. Research and Practice in Technology Enhanced Learning, [S. l.], v. 17, 2022. Disponível em: https://rptel.apsce.net/index.php/RPTEL/article/view/2022-17022. Acesso em: 19 apr. 2024.