Title
Tool-Aided Loop Invariant Development: Insights into Student Conceptions and Difficulties
Document Type
Conference Proceeding
Publication Date
6-26-2021
DOI Number / ISBN
https://doi.org/10.1145/3430665.3456351
External Access URL
https://doi.org/10.1145/3430665.3456351
Recommended Citation
Fowler, M., Kraemer, E., Sitaraman, M., & Hollingsworth, J. E. (2021). Tool-aided loop invariant development: Insights into student conceptions and difficulties [Conference presentation]. 26th ACM Conference on Innovation and Technology in Computer Science Education V. 1, Virtual Event, Germany. https://doi.org/10.1145/3430665.3456351
COinS