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

Материал из WEGA

То же, что и Задача анализа свойств состояний.

Источник — http://pco.iis.nsk.su/wega/index.php?title=Задача_глобального_анализа_потока_данных&oldid=6185