Engaging in Logical Code Reasoning with an Activity-Based Online Tool

Joseph E. Hollingsworth, Rose-Hulman Institute of Technology
E. T. Kraemer
M. Sitaraman

Abstract