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