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