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

State-event-based reasoning and deadlock detection
Software Verification

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

Видео