Новости


22 ноября

Команды НГУ стали победителями Второго всероссийского соревнования по формальной верификации программ VeHa-2024

В числе организаторов и судей соревнования были сотрудники кафедры программирования Механико-математического факультета НГУ и преподаватели профиля «Формальные методы анализа программ и систем». 

Страницы