RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Дергачёв А В
Публикации в базе данных Math-Net.Ru
Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения
Труды ИСП РАН
,
28
:1 (2016),
41–62
©
МИАН
, 2024
