Черненко И.М. Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах // № 25, 2024
