RUS  ENG
Полная версия
ПЕРСОНАЛИИ

Миракян Гаяне Оганнесовна

Публикации в базе данных Math-Net.Ru

  1. Проверка программ на соответствие стандарту MISRA C с использованием инфраструктуры Clang

    Труды ИСП РАН, 35:5 (2023),  169–192


© МИАН, 2024