Конференции

Итоговая конференция ФЦП "Исследования и разработки по направлениями развития научно-технологического комплекса России на 2007-2012 г."

Ханты-Мансийск, 13-15 ноября 2008

Конференция "Разработка ПО 2009" (CEE SECR)

Москва, 28-29 октября 2009

Тезисы доклада

Итоговая конференция ФЦП "Исследования и разработки по направлениями развития научно-технологического комплекса России на 2007-2012 г."

Ханты-Мансийск, 9-10 ноября 2009

Тезисы докладов

Конференция "Технологии Microsoft в теории и практике программирования 2010"

Санкт-Петербург, 16-17 марта 2010

  • Автоматическое обнаружение дефектов в программных системах на языке c на основе статического анализа. Ахин М.Х., Захаров А.В., Цесько В.А., Моисеев М.Ю., Ицыксон В.М.,
  • Автоматическое обнаружение дефектов в многопоточных программах методами статического анализа. Моисеев М.Ю. (ст.преп. каф. КСПТ, СПбГПУ)