Semester page for IN9110 - Autumn 2019
Teachers
-
Martin Steffen University of Oslo
-
Volker Stolz University of 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.