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

Курс "Введение в формальную верификацию программ" в Computer Science клубе. Лектор: Антон Трунов (Zilliqa Research) Дата: 29 апреля 2021 Подробнее: https://compsciclub.ru/courses/formalverification/2021-spring/