Persons
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Gagarski, Kirill Alekseevich
Statistics Math-Net.Ru
Total publications:
1
Scientific articles:
1
Number of views:
This page:
115
Abstract pages:
611
Full texts:
89
References:
34
E-mail:
email
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
Organisations
Peter the Great St. Petersburg Polytechnic University
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2024