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

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

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