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

Number of views:
This page:80
Abstract pages:116
Full texts:20
References:18

https://www.mathnet.ru/eng/person153108
List of publications on Google Scholar
List of publications on ZentralBlatt
https://orcid.org/0000-0001-9982-6571

Publications in Math-Net.Ru Citations
2019
1. Yu. O. Kostyukov, K. A. Batoev, D. A. Mordvinov, M. P. Kostitsyn, A. V. Misonizhnik, “Automatic verification of heap-manipulating programs”, Proceedings of ISP RAS, 31:5 (2019),  37–62  mathnet

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