Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Путро Павел Андреевич
В базах данных Math-Net.Ru
Публикаций: 3
Научных статей: 3

Статистика просмотров:
Эта страница:69
Страницы публикаций:309
Полные тексты:181
Списки литературы:51

https://www.mathnet.ru/rus/person141162
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://orcid.org/0000-0001-9540-8321

Публикации в базе данных Math-Net.Ru Цитирования
2020
1. И. В. Гладышев, А. С. Камкин, А. М. Коцыняк, П. А. Путро, А. В. Хорошилов, “Архитектура системы дедуктивной верификации машинного кода”, Труды ИСП РАН, 32:3 (2020),  7–19  mathnet
2019
2. P. A. Putro, “Applying high-level function loop invariants for machine code deductive verification”, Труды ИСП РАН, 31:3 (2019),  123–134  mathnet  elib 1
2018
3. P. A. Putro, “Combining ACSL specifications and machine code”, Труды ИСП РАН, 30:4 (2018),  95–106  mathnet  elib

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024