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

Automated verification of security policies in mobile code
Software Verification

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

Видео

Computer Science Club, 2007–24 гг.