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