• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Master 2017/2018

Formal Methods in Software Engineering

Type: Compulsory course (System and Software Engineering)
Area of studies: Software Engineering
When: 1 year, 1-4 module
Instructors: Leonid W. Dworzanski (conducts seminars and administers exams), Irina A. Lomazova (delivers lectures, conducts seminars, checks works and administers exams)
Master’s programme: Software and Systems Engineering
Language: English
ECTS credits: 10