Return to Article Details VeriSIM: A model-based learning pedagogy for fostering software design evaluation skills in computer science undergraduates Download Download PDF