Modulinformationssystem Informatik

 

Modul "Master Seminar - Formal Software Verification" im WS20/21

Dozent: Prof. Dr. Dirk Nowotka

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