Victor Viatcheslavovitch Kuliamin Russian Federation, Moscow Academic degree Candidate of Physics and Mathematics Academic title Associate Professor Research area program verification program testing Affiliation & position Ivannikov Institute for System Programming of RAS — leading researcher Lomonosov Moscow State University — associate professor E-mail kuliamin@ispras.ru
Kuliamin V., Petrenko A., Khoroshilov A. Verification of Operating System Components // System Informatics. — 2017. — # 10. — P. 11-22
