Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Assuring software quality by model checking
Software Verification

Что: Лекция
Когда: Четверг, 01 мая 2008, 14:50–16:20
Где: ПОМИ РАН
Слайды: softwareverification_lecture_010508.pdf

Видео