TY - JOUR AU - V. A. Bitner AU - N. V. Zaborovsky TI - The Construction of an Universal Linearized Control Flow Graph for Static Code Analysis of Algorithms JO - Modelirovanie i analiz informacionnyh sistem PY - 2013 SP - 166 EP - 177 VL - 20 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MAIS_2013_20_2_a12/ LA - ru ID - MAIS_2013_20_2_a12 ER -