__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 330
__________________________________________________________________
Дата: 19.03.93
Время: 15.00
конф.-зал ВЦ СО РАН
__________________________________________________________________
Докладчик : Сабельфельд В.К.
Тема: Работы Института информатики Мюнхенского технического уни-
верситета в области построения корректного софтвера:
проект SPECTRUM
__________________________________________________________________