Chernenko I. Pattern-based approach to automation of deductive verification of process-oriented programs // # 25, 2024
