Формальная спецификация и верификация программ (ВМК МГУ имени М.В. Ломоносова)
понедельник, 16 апреля 2012 г.
Model-based testing
Доклад А.К. Петренко на конференции Яндекса 2011
http://video.yandex.ru/users/ya-events/view/383
Следующие
Предыдущие
Главная страница
Подписаться на:
Сообщения (Atom)