Выделение независимых ветвей вычислений в унаследованном коде с использованием средств автоматизированного анализа программтезисы доклада