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