Skip to main content
CECM
  • You are not logged in. (Log in)

Course info

  1. Home
  2. Courses
  3. Fall 96
  4. Formal Methods in Software Engineering
  5. Summary

Formal Methods in Software Engineering

  • Teacher: Fathiyeh Faghih
  • TA: Ehsan HajYasini
  • TA: Mohammad Mahdi Mahdizadeh
  • TA: Nahal Mirzaie
  • TA: Faraz Yazdani
  • Chief TA: Sajad Norouzi

Formal Methods in Software Engineering
Home
You are not logged in. (Log in)
FMSE Fall 96
Data retention summary
Get the mobile app