Chernenko I. Requirements patterns in deductive verification of process-oriented programs and examples of their use // # 22, 2023
