Dette emnet er nedlagt

Semesterside for INF5160 - Vår 2006

Subscribe to The Dbsem mailing list to get information about this course, and about special guest lectures.

16. feb. 2006 17:41

The first part of INF5160 this term consists of lectures by Prof. Dr. Willem-Paul de Roever from the Christian-Albrechts-University of Kiel. He will give a course on compositional program verification. The first lecture is 17.01. Lecturenotes can be found here. See Detaljert undervisningsplan for more details about the course content.

16. jan. 2006 22:17