Skip navigation
The Australian National University

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

People

Convenors / lecturers

Linda Postniece convenor

Ranald Clouston convenor

Malcolm Newey convenor

Rajeev Gore convenor

Tutors

Aditi Barthwal tutor

Teresa Bradbury tutor

Ivan Miljenovic tutor

Zhe Hou tutor

Jarrah Bloomfield tutor

More information

» Course overview

Responsible Officer:  JavaScript must be enabled to display this email address. / Page Contact:  JavaScript must be enabled to display this email address.