Course Information
Line Number 1764200
Course Name SE420 - Formal Methods In Software Engineering
Course Evaluation
Exam NameWeight
Exam 115
exam 215
Quizzes, Projects, and assignments30