Master 2025/2026

Formal Methods in Software Engineering

Category 'Best Course for New Knowledge and Skills'

Type: Compulsory course (System and Software Engineering)

Delivered by: School of Software Engineering

Where: Faculty of Computer Science

When: 1 year, 2-4 module

Open to: students of one campus

Instructors: Irina A. Lomazova, Roman Nesterov

Language: Russian

ECTS credits: 9

Contact hours: 116