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

Automated verification of security policies in mobile code
Software Verification

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

Видео