Черненко Иван Михайлович

Черненко ИванМихайлович
Россия, Новосибирск
Область научных интересов
Место работы и должность
  • Институт автоматики и электрометрии СО РАН — аспирант
Адрес электронной почты
Список статей в журнале СИ:
Черненко И.М. Шаблоны требований, возникающих при дедуктивной верификации процесс-ориентированных программ, и примеры их использования // Системная информатика. — . — № 22.  — С. 11-20
Черненко И.М. Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах // Системная информатика. — . — № 25.  — С. 11-28