Skip navigation
The Australian National University

Formal Methods in Software Engineering COMP6260

» Course website at http://cs.anu.edu.au/student/comp2600

» Entry on Study@ANU

Course info

Study period: 2nd semester

People

Convenors / lecturers

Jinbo Huang convenor

Rajeev Gore convenor

Tutors

Teresa Bradbury tutor

Ivan Miljenovic tutor

Zhe Hou tutor

Jarrah Bloomfield tutor

Alex Mascolo 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.