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

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

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