Задача глобального анализа потока данных

Материал из WEGA

Задача глобального анализа потока данных - то же, что и Задача анализа свойств состояний.