Для цитирования: Битнер В.А., Заборовский Н.В. Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов. Моделирование и анализ информационных систем. 2013;20(2):166-177. https://doi.org/10.18255/1818-1015-2013-2-166-177

For citation: Bitner V.A., Zaborovsky N.V. The Construction of an Universal Linearized Control Flow Graph for Static Code Analysis of Algorithms. Modeling and Analysis of Information Systems. 2013;20(2):166-177. (In Russ.) https://doi.org/10.18255/1818-1015-2013-2-166-177