2025/2026

Formal Methods in Software Engineering

ID 953630

Category 'Best Course for New Knowledge and Skills'

Type: Mago-Lego

Delivered by: School of Software Engineering

Where: Faculty of Computer Science

When: 2-4 module

Open to: students of one campus

Instructors: Irina A. Lomazova, Roman Nesterov

Language: Russian

ECTS credits: 9

Contact hours: 116