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