Semester page for INF9145 - Autumn 2014

Joint teaching

This course has jointly taught classes with INF4140 – Models of concurrency (continued). See this course's semester page for schedule and messages.