Philipp Kather, Jan Vahrenhold. Exploring Algorithm Comprehension: Linking Proof and Program Code. In Otto Seppälä, Andrew Petersen 0001, editors, Koli Calling '21: 21st Koli Calling International Conference on Computing Education Research, Joensuu, Finland, November 18 - 21, 2021. ACM, 2021. [doi]
Abstract is missing.