Назад
Ануреев И.С.
Бодин Е.В.
Кондратьев Д.А.
Промский А.В.
Шилова С.О.
Файфель Б.Л.
Шилов Н.В.
Формальная спецификация и верификация стандартных математических функций
Докладчик:
Шилов Н.В.
К списку докладов