• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

FacultiesCourses

Formal Methods in Software Engineering

Academic year: 2018/2019
Type: Compulsory course (System and Software Engineering)
Instructors: Dworzanski, Leonid W. (conducts seminars and administers exams), Lomazova, Irina A. (delivers lectures, conducts seminars and administers exams)
Language: English
Level: Master
Master’s programme: Software and Systems Engineering
When: 1 year, 1-4 module
Credits: 10