Teaching Support Systems for Formal Foundations of Computer Science (Dagstuhl Seminar 24251)
Barnes, Tiffany; Vahrenhold, Jan; Zeume, Thomas; Schmalstieg, Florian
Working paperDetails about the publication
Place of publication: Saarbrücken
Title of series: Dagstuhl Reports
Volume of series: 14
Status: Published
Release year: 2024
Language in which the publication is written: English
Keywords: Teaching Support System; Theoretical Computer Science
Authors from the University of Münster
| Vahrenhold, Jan | Professur für Praktische Informatik (Prof. Vahrenhold) |