Алгоритмы вычисления отношений подобия в задачах верификации и реструктуризации программ
Булычёв, Пётр Евгеньевич. Алгоритмы вычисления отношений подобия в задачах верификации и реструктуризации программ : диссертация ... кандидата физико-математических наук : 05.13.11 / Булычёв Пётр Евгеньевич; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова].- Москва, 2010.- 169 с.: ил. РГБ ОД, 61 11-1/365