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

Формальная спецификация и верификация стандартных математических функций

Докладчик: Шилов Н.В.