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

Number of views:
This page:70
Abstract pages:206
Full texts:108
References:41

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

Publications in Math-Net.Ru Citations
2016
1. A. Dergachev, A. Sidorin, “Summary-based method of implementing arbitrary context-sensitive checks for source-based analysis via symbolic execution”, Proceedings of ISP RAS, 28:1 (2016),  41–62  mathnet  elib
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024