Папка 696 Из личных коллекций

VeHa - соревнования по формальной верификации программ

Гунько Тимур Витальевич

Кондратьев Дмитрий Александрович

Новосибирск

Новосибирск

Панченко Наталья Андреевна

Чумак Антон Максимович

Шилов Николай Вячеславович

2025апр21Фотоархив СО РАН

unexpected variant

Победители 2-го Российского соревнование по формальной верификации программ VeHa-2024. Сидит тренер команды Н.В. Шилов. Стоят: Д.А. Кондратьев, Н.А. Панченко, А.М. Чумак, Т.В. Гунько.