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