——————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. Касьянов В.Н.
——————————————————————
Заседания N 440
Комната для семинаров ИСИ СО РАН
9 декабря 1997
Время: 14.30
——————————————————————
П.Г.Емельянов
Симпозиум по статическому анализу программ
(SAS-97, г.Париж, 8-10 сентября 1997 г.)
——————————————————————