Master 2024/2025

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, 2-4 module

Mode of studies: offline

Open to: students of one campus

Instructors: Irina A. Lomazova, Roman Nesterov

Master’s programme: Software and Systems Engineering

Language: Russian

ECTS credits: 9