Course Information
Line Number
1764201
Course Name
SE420 - Formal Methods In Software Engineering
Course Evaluation
Exam Name
Weight
Exam 1
20
Exam 2
20
Final
40
Quizzes and Interactive Videos
20