Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Kokorin, Artem Olegovich
Statistics Math-Net.Ru
Total publications: 1
Scientific articles: 1

Number of views:
This page:29
Abstract pages:96
Full texts:29
References:16

https://www.mathnet.ru/eng/person188736
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru Citations
2022
1. A. O. Kokorin, S. D. Tievskiy, P. N. Devyanin, “Methods for deductive verification of C code using AstraVer Toolset”, Prikl. Diskr. Mat. Suppl., 2022, no. 15,  80–90  mathnet

Organisations
  • Research Production Association RUSBITECH
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024