Megan Fowler, Eileen T. Kraemer, Murali Sitaraman, Joseph E. Hollingsworth. Tool-Aided Loop Invariant Development: Insights into Student Conceptions and Difficulties. In Carsten Schulte, Brett A. Becker, Monica Divitini, Erik Barendsen, editors, ITiCSE 2021: 26th ACM Conference on Innovation and Technology in Computer Science Education, Virtual Event, Germany, June 26 - July 1, 2021. pages 387-393, ACM, 2021. [doi]
Abstract is missing.