Андрианов Павел Сергеевич

Андрианов ПавелСергеевич
Россия, Москва
Степень
Область научных интересов
Место работы и должность
  • Институт системного программирования РАН им. В.П.Иванникова — научный сотрудник
Адрес электронной почты
Список статей в журнале СИ:
Андрианов П.С. Мутилин В.С. Проверка корректности модели памяти методами статического анализа // Системная информатика. — . — № 22.  — С. 1-10