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

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

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