Megan Fowler, Jason O. Hallstrom, Joseph E. Hollingsworth, Eileen T. Kraemer, Murali Sitaraman, Yu-Shan Sun, Jiadi Wang, Gloria J. Washington. Tool-Aided Learning of Code Reasoning with Abstraction in the CS Curriculum. Informatics in Education, 20(4):533-566, 2021. [doi]
Abstract is missing.