Special Module on Automated Reasoning Methods for Program Analysis Course Categories: DE for CSI. PE for CS5. PE(SS) for MCS.

Answer only what you know. Tap again to clear an answer.

• Attendance is enforced
  YesNo
• Grading is relative
  YesNo
• Has a course project
  YesNo
• Regular quizzes
  YesNo
• Lectures are recorded
  YesNo
• Past exams are good practice
  YesNo
• Workload
  LightModerateHeavy