Исследование и реализация модели статического анализа нахождения состояния гонки в многопоточных алгоритмах с использованием линеаризованного графа потока управления Битнер, Вильгельм Александрович ВАК РФ 05.13.11 Стр. 1 из 23