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

Deadlock detection
Software Verification

Что: Лекция
Когда: Пятница, 02 мая 2008, 16:30–18:00
Где: ПОМИ РАН
Слайды: softwareverification_lecture_020508.pdf