Skip navigation
The Australian National University

Formal Methods in Software Engineering COMP2600

Indicative assessment

More information may be available for enrolled students on the course website at http://cs.anu.edu.au/students/comp2600/

1

Assignments ;

Percentage: 40%

2

Tutorials and Laboratories ;

Percentage: 5%

3

Quiz ;

Percentage: 10%

4

Final Exam

Percentage: 45%

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