Courses in master studies
Code | Course name |
---|---|
NI-MPJ | Modelling of Programming Languages |
Courses in doctoral studies
Code | Course name |
---|---|
PI-APA | Advanced Program Analysis |
PI-TPL | Type Systems for Programming Languages |
Code | Course name |
---|---|
NI-MPJ | Modelling of Programming Languages |
Code | Course name |
---|---|
PI-APA | Advanced Program Analysis |
PI-TPL | Type Systems for Programming Languages |