Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Chernenko, Ivan Mikhailovich

Statistics Math-Net.Ru
Total publications: 1
Scientific articles: 1

Number of views:
This page:38
Abstract pages:30
Full texts:27
References:12

https://www.mathnet.ru/eng/person207600
List of publications on Google Scholar
List of publications on ZentralBlatt
https://orcid.org/0000-0001-7675-8449

Publications in Math-Net.Ru Citations
2024
1. I. M. Chernenko, I. S. Anureev, N. O. Garanina, “Requirement patterns in deductive verification of poST programs”, Model. Anal. Inform. Sist., 31:1 (2024),  6–31  mathnet

Organisations
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024