Применение бинарного графа для верификации программного кода

по Картавых, Георгий Владимирович
Опубликовано в: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.