COMP2600: Formal Methods for Software Engineering

Schedule

Course Content

• 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 semester plan.
• There has been little change in the content and structure of COMP2600 over the last decade.
  Follow the Archives link to access the last 6 years of history.