Двусторонняя унификация программ и ее применение для задач рефакторингастатья

Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК