Методы формальной верификации программ 2013

Материал из SEWiki
Перейти к: навигация, поиск

Лектор - Карпов Юрий Глебович

Практика -

Лекции

Лекция 1. Введение

Домашние задания

Список литературы

Ссылки

http://dcn.infos.ru/~karpov/

Источник — «http://mit.spbau.ru/sewiki/index.php?title=Методы_формальной_верификации_программ_2013&oldid=2543»