Информация об авторе

Беляев, М. А., Санкт-Петербургский политехнический университет им. Петра Великого, Россия

  • Том 22, № 6 (2015) - Оригинальные статьи
    Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ
    Аннотация  PDF (Rus)  PDF (Eng)


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)