Master Course
Program Verification
WebHome
- Education Page
- Description
- Literature
- Schedule
- Assignments
Center
Master Program
Web Home
Pv
Master Course on Program Verification
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
- Similar courses - pointers to courses at other universities about similar topic