You are here:
(27 Nov 2007,
<font size=+3><b>Master Course on Program Verification</b></font> _short description_ * [[Education page]]: official page with times and rooms * [[Course description]] - brief description of content and literature * [[Course literature]] - pointers to literature * [[Course schedule]] - planning of meetings * [[CourseAssignments]] - description of the project * WebNews - news about the course * WebContents - navigation info in sidebar * [[Similar courses]] - pointers to courses at other universities about similar topic <!-- * Set PREV_SKIN = notitlenews -->
ore topic actions
Topic revision: r9 - 27 Nov 2007,
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS?