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

Статистика просмотров:
Эта страница:29
Страницы публикаций:96
Полные тексты:29
Списки литературы:16

https://www.mathnet.ru/rus/person188736
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru Цитирования
2022
1. А. О. Кокорин, С. Д. Тиевский, П. Н. Девянин, “Приемы дедуктивной верификации программного кода с использованием AstraVer Toolset”, ПДМ. Приложение, 2022, № 15,  80–90  mathnet

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