Cited By
View all- Drachova SHallstrom JHollingsworth JKrone JPak RSitaraman M(2015)Teaching Mathematical Reasoning Principles for Software Correctness and Its AssessmentACM Transactions on Computing Education10.1145/271631615:3(1-22)Online publication date: 19-Aug-2015
- Russell S(2022)Automated Code Tracing Exercises for CS1Proceedings of the 6th Conference on Computing Education Practice10.1145/3498343.3498347(13-16)Online publication date: 6-Jan-2022