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