Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
Руководитель — проф. Касьянов В.Н.
Заседание N 517
3 апреля 2001
Комната для семинаров ИСИ СО РАН
Время: 14.30
В.И. Шелехов
Статический анализатор WASP: обзор подходов к реализации