• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
2022/2023

Formal Methods in Software Engineering

Type: Mago-Lego
When: 1, 2 module
Open to: students of all HSE University campuses
Instructors: Nina V. Evtushenko
Language: Russian
ECTS credits: 6
Contact hours: 56