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