Введение в формальную верификацию программ, лекция 10 | А. Трунов

Курс "Введение в формальную верификацию программ" в Computer Science клубе. Лектор: Антон Трунов (Zilliqa Research) Дата: 20 мая 2021 Подробнее:

Смотрите также