Unraveling Learner Interaction Strategies in VeriSIM for Software Design Diagrams | IEEE Conference Publication | IEEE Xplore