Dines Bjørner hält dieses Semester im Rahmen einer Gastprofessur eine LVA mit dem Titel “From Domains to Requirements”. Der Kurs richtet sich vor allem an Studierende des Doktoratsstudiums sowie fortgeschrittene Studierende der Masterstudien der Informatik. Weiterführende Informationen gibt es im tuwis oder im Flyer.
Attachments: