Ivan Mikhailovich Chernenko Russian Federation, Novosibirsk Research area program verification programming languages Affiliation & position Institute of Automation and Electrometry of Siberian Branch of the Russian Academy of Sciences — postgraduate E-mail cheriv98@mail.ru
Chernenko I. Requirements patterns in deductive verification of process-oriented programs and examples of their use // System Informatics. — 2023. — # 22. — P. 11-20