Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Гладышев Илья Владимирович

https://www.mathnet.ru/rus/person159386
Список публикаций на Google Scholar
https://orcid.org/0000-0002-9922-4076

Публикации в базе данных Math-Net.Ru Цитирования
2020
1. И. В. Гладышев, А. С. Камкин, А. М. Коцыняк, П. А. Путро, А. В. Хорошилов, “Архитектура системы дедуктивной верификации машинного кода”, Труды ИСП РАН, 32:3 (2020),  7–19  mathnet

Организации