Chernenko I. Pattern-based approach to automation of deductive verification of process-oriented programs // # 25, 2024
Chernenko I. Requirements patterns in deductive verification of process-oriented programs and examples of their use // # 22, 2023
