Formal Methods in Software Engineering COMP2600
» Course website at http://cs.anu.edu.au/students/comp2600/
» Entry on Study@ANU
Course info
Study period: 2nd semester
Science Group: B
Unit Value: 6 units
People
Convenors / lecturers
Linda Postniece convenor
Dirk Pattinson convenor
Ranald Clouston convenor
Jeremy Dawson convenor
Rajeev Gore convenor
lecturer
lecturer
lecturer
lecturer
Tutors
Teresa Bradbury tutor
Ivan Miljenovic tutor
Zhe Hou tutor
Jarrah Bloomfield tutor
Alex Mascolo tutor
Related courses
Prereqs: COMP1110 or COMP1510 or COMP2750 and MATH1005 or MATH1014 or MATH1116 or enrolment in Bachelor of Computer Science Honours
