Kuropiatnyk OS, Yakovenko BM. Identification of the Program Text and Algorithm Correspondence Based on the Control Graph Constructive-Synthesizing Model . STP [Internet]. 2021Aug.17 [cited 2024May7];(4(94):12-24. Available from: https://stp.ust.edu.ua/article/view/245666