Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Gagarski, Kirill Alekseevich

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

Number of views:
This page:138
Abstract pages:626
Full texts:92
References:38
E-mail:

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

Publications in Math-Net.Ru Citations
2014
1. Maxim Petrov, Kirill Gagarski, Mikhail Belyaev, Vladimir Itsykson, “Using a bounded model checker for test generation: how to kill two birds with one SMT-solver”, Model. Anal. Inform. Sist., 21:6 (2014),  83–93  mathnet

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