Modulinformationssystem Informatik

 

Modul "Master Seminar - Formal Software Verification" im WS23/24

Dozent: Prof. Dr. Dirk Nowotka

Dieses Modul ist für dieses Semester in keinem Masterprogramm des Masterstudiengangs Informatik eingeplant.