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

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

Browse the full SIGCSE paper archive.