ХП
Выступления
Прошедшие выступления · 1
окт
2026
Зал №3. Мастер-класс. Под капотом формальной верификации: полный DIY-маршрут от схемы до отчёта