Алгоритмы вычисления отношений подобия в задачах верификации и реструктуризации программ : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>
Алгоритмы вычисления отношений подобия в задачах верификации и реструктуризации программ : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>