CSE4213

Formal methods in software engineering (6 points)

(IT)

Leader:

Offered:
Clayton First semester 2004 (Day)
Clayton First semester 2005 (Day)

Synopsis:

Assessment: Assignments: 60% + Examination: 40%

Contact Hours: 3 hours per week (lectures/tutorials)

Prerequisites: CSE2303, MAT1830 or MTH1112 or MAT1077

Prohibitions: GCO4013, SFT3302