Skip navigation
The Australian National University

Formal Methods in Software Engineering COMP6260

» Entry on Study@ANU

Course info

Study period: 2nd semester

People

Convenors / lecturers

Rajeev Gore convenor

Tutors

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.