Teaching Support Systems for Formal Foundations of Computer Science (Dagstuhl Seminar 24251)

Barnes, Tiffany; Vahrenhold, Jan; Zeume, Thomas; Schmalstieg, Florian

Arbeitspapier / Working Paper

Details zur Publikation

Erscheinungsort: Saarbrücken

Titel der Reihe: Dagstuhl Reports

Nr. in Reihe: 14

Status: Veröffentlicht

Veröffentlichungsjahr: 2024

Sprache, in der die Publikation verfasst ist: Englisch

Stichwörter: Teaching Support System; Theoretical Computer Science

Professur für Praktische Informatik (Prof. Vahrenhold)