Master
2018/2019
Formal Methods in Software Engineering
Type:
Compulsory course (System and Software Engineering)
Area of studies:
Software Engineering
Delivered by:
School of Software Engineering
Where:
Faculty of Computer Science
When:
1 year, 1-4 module
Mode of studies:
offline
Master’s programme:
Software and Systems Engineering
Language:
English
ECTS credits:
10
Contact hours:
128