COMP2600/6260: Formal Methods for Software Engineering - 2013
Semester 2, 2013
Course Information
See the formal course information for COMP2600Schedule
- Here is the draft schedule of
lectures, tutorials and assessments in 2013.
It will change as the semester progresses, so check it when advised.
Midsemester Quizz
The quiz is 1 hour, and will take place| On | September 24, 2013 |
| At | 16:50 |
| In | Melville Hall |
