Семинар 15.02.2024

Докладчики: Кондратьев Д.А., Гаранина Н.О. (ИСИ СО РАН) Тема: «VeHa-2023: первые в России соревнования по формальной верификации программ»