Module Catalogues
Formal Methods
Module Title
Formal Methods
Module Level
Level 3
Module Credits
5
Aims and Fit of Module
Learning outcomes
Method of teaching and learning