Chernenko Ivan Mikhailovich

Ivan Mikhailovich Chernenko
Russia, Novosibirsk
Research area
Affiliation & position
  • Institute of Automation and Electrometry of Siberian Branch of the Russian Academy of Sciences — postgraduate
E-mail
List of Articles in System Informatics:
I. Chernenko Requirements patterns in deductive verification of process-oriented programs and examples of their use // System Informatics. — . — # 22.  — P. 11-20
I. Chernenko Pattern-based approach to automation of deductive verification of process-oriented programs // System Informatics. — . — # 25.  — P. 11-28