Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Черненко Иван Михайлович

В базах данных Math-Net.Ru
Публикаций: 1
Научных статей: 1

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

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

Публикации в базе данных Math-Net.Ru Цитирования
2024
1. И. М. Черненко, И. С. Ануреев, Н. О. Гаранина, “Шаблоны требований в дедуктивной верификации poST-программ”, Модел. и анализ информ. систем, 31:1 (2024),  6–31  mathnet

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