2023_1 - CIT858: Formal Methods, Automata and Software Development
Course Code
CIT858
Facilitator
Dr Moses Ekpenyong
Day for Facilitation
Thursday
Time for Facilitation
03 - 04 PM
Semester
2023_1
Course Title
Formal Methods, Automata and Software Development
Host Faculty for Course
Sciences
Host Department
Computer Science
Level
800