Методы формальной верификации программ 2012
Материал из SEWiki
Перейти к:
навигация
,
поиск
Некоторые материалы
http://dcn.infos.ru/~karpov/Model%20Checking%20Verification/
Навигация
Просмотры
Статья
Обсуждение
Просмотр
История
Персональные инструменты
Войти
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Поиск
Инструменты
Ссылки сюда
Связанные правки
Спецстраницы
Версия для печати
Постоянная ссылка
Сведения о странице