Бодин, Евгений Викторович
Институт систем информатики имени А.П. Ершова СО РАН
http://www.iis.nsk.su
Россия, 630090, Новосибирcк, пр. ак. Лаврентьева, 6
Телефон: +7(383) 330-86-52, Факс: +7(383) 332-34-94
Доклад
- Ануреев И.С.*, Бодин Е.В.*, Кондратьев Д.А.*, Промский А.В.*, Шилова С.О.**, Файфель Б.Л.***, Шилов Н.В.****
Формальная спецификация и верификация стандартных математических функций
*Институт систем информатики имени А.П. Ершова СО РАН (Новосибирcк), Россия
**пенсионер (Казань), Россия
***Саратовский государственный технический университет (Саратов), Россия
****АНО ВО Университет Иннополис (Казань), Россия