В четверг 17 марта 2011 в 17-20
в аудитории 2448 состоится
заседание научного семинара кафедры системного программирования.
С докладом выступит Смирнов М.Н.
Тема доклада:
Автоматизация
обнаружения дефектов в
многопоточных программах методами
статического анализа
(СПбГПУ)
Аннотация доклада будет опубликована позднее.
Мониторинг выпускников
