Объединенный семинар ИСИ СО РАН и кафедры программирования НГУ “ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ и СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ” 15 февраля 2024 года. Докладчики: Кондратьев Д.А., Гаранина Н.О. (ИСИ СО РАН) Тема: «VeHa-2023: первые в России соревнования по формальной верификации программ»
Hide player controls
Hide resume playing