COMP2600: Formal Methods for Software Engineering
Semester 2, 2012
You will find the final semester plan
Please report problems to us at
- The official ANU handbook entry for the unit can be accessed
by following the Description link in the left side menu.
- The vital details for the conduct of the course is available in the
initial course handout.
- The timings of lectures, tutorials and assignments over the
semester is available in the
- There has been little change in the content and
structure of COMP2600 over the last decade.
Archives link to access the last 6 years of history.