Hauptmenü öffnen
Forschungsportal |
Über das Portal
Publications
Projects
Talks
Awards
Doctorates
Habilitations
Persons
Organisations
DE
|
EN
Exploring Algorithm Comprehension: Linking Proof and Program Code
Kather P, Vahrenhold J
Research article in edited proceedings (conference)
| Peer reviewed
Details about the publication
Publisher:
Seppälä O, Petersen A
Book title:
Proceedings of the 21st Koli Calling International Conference on Computing Education Research (Koli Calling 2021)
Page range:
28:1-28:10
Status:
Published
Release year:
2021
Language in which the publication is written:
English
Conference:
Koli Calling '21: 21st Koli Calling International Conference on Computing Education Research, Virtual Event, undefined
DOI:
10.1145/3488042.3488061
Authors from the University of Münster
Kather
,
Philipp
Professur für Praktische Informatik (Prof. Vahrenhold)
Vahrenhold
,
Jan
Professur für Praktische Informatik (Prof. Vahrenhold)