2022_1 - CIT308: Formal Methods, Automata and Software Development
Course Code
CIT308
Facilitator
Dr Moses Ekpenyong
Semester
2022_1
Course Title
Formal Methods, Automata and Software Development
Host Faculty for Course
Sciences
Status
Active
Host Department
Computer Science