Grades

The weight distribution of the course components is as follows:

• 30% - Assignments
• 45% - Project
• 25% - Research Paper on use of OO formal methods tools (includes presentation).

You can view your marks here.