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

Dynamic component substitutability analysis
Software Verification


Что: Лекция
Когда: Суббота, 22 мая 2010, 19:15–20:45
Где: ПОМИ РАН
Слайды: softwareverification_lecture_220510.pdf

Материалы