ФСВП-2012, лекция №7, часть первая

Курс лекций "Формальная спецификация и верификация программ" (факультет вычислительной математики и кибернетики МГУ имени М.В. Ломоносова). Лектор: кандидат физ-мат наук Корныхин Евгений Валерьевич. 17 октября 2012 года.