Лекция №1 - основные понятия аналитической верификации программ

Видеозапись лекции №1, прочитанной в 2012 году Алексеем Хорошиловым.