Lectures
Fall 2013
| Title | ECTS | Time | Lecturer(s) |
|---|---|---|---|
| Formal Methods for Computer Science II |
6 Points | Fr, 08:30-12:00 | Rolf Pfeifer, Rudolf Füchslin |
Header
| Title | ECTS | Time | Lecturer(s) |
|---|---|---|---|
| Formal Methods for Computer Science II |
6 Points | Fr, 08:30-12:00 | Rolf Pfeifer, Rudolf Füchslin |
