Файфель, Борис Леонидович
Саратовский государственный технический университет
Россия, Саратов
Доклад
- Ануреев И.С.*, Бодин Е.В.*, Кондратьев Д.А.*, Промский А.В.*, Шилова С.О.**, Файфель Б.Л.***, Шилов Н.В.****
Формальная спецификация и верификация стандартных математических функций
*Институт систем информатики имени А.П. Ершова СО РАН (Новосибирcк), Россия
**пенсионер (Казань), Россия
***Саратовский государственный технический университет (Саратов), Россия
****АНО ВО Университет Иннополис (Казань), Россия