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

09:54, November 22

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

Copyright information of photo and video materials was taken from the website «Новосибирский государственный университет» , more details in our Terms of Service