Semester page for IN9110 - Autumn 2019
Teachers
-
Martin Steffen Universitetet i Oslo
-
Volker Stolz Universitetet i Oslo
Joint teaching
This course has jointly taught classes with IN5110 – Specification and Verification of Parallel Systems. See this course's semester page for schedule and messages.