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
Tutors
Teresa Bradbury tutor
Ivan Miljenovic tutor
Zhe Hou tutor
Jarrah Bloomfield tutor
Alex Mascolo tutor


