Petrenko Alexander Konstantinovitch

Alexander Konstantinovitch Petrenko
Russia, Moscow
Academic degree
Academic rank
Research area
Affiliation & position
  • Ivannikov Institute for System Programming of RAS — leading researcher
  • Lomonosov Moscow State University — professor
E-mail
List of Articles in System Informatics:
V. Kuliamin A. Petrenko A. Khoroshilov Verification of Operating System Components // System Informatics. — . — # 10.  — P. 11-22