2023_1 - CIT308: Formal Methods, Automata and Software Development

Course Code

CIT308

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

Status

Active

Flagship Course Status

Not Flagship Course

Host Department

Computer Science

Level

300