RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Лесовой Сергей Леонидович
Публикации в базе данных Math-Net.Ru
Extracting architectural information from source code of ARINC 653-compatible application software using CEGAR-based approach
Труды ИСП РАН
,
30
:3 (2018),
31–46
©
МИАН
, 2024
