Tool-Aided Loop Invariant Development: Insights into Student Conceptions and Difficulties.

Megan Fowler, Eileen T. Kraemer, Murali Sitaraman, Joseph E. Hollingsworth

Browse the full ITiCSE paper archive.