Course Information
Line Number
1764200
Course Name
SE420 - Formal Methods In Software Engineering
Course Evaluation
Exam Name
Weight
Exam 1
15
exam 2
15
Quizzes, Projects, and assignments
30