Шевченко, Р. С.     TermWare-3 – система переписування термів, заснована на контекстному численні / Р. С. Шевченко, А. Ю. Дорошенко // Проблеми програмування : науковий журнал. - 2019. - № 1. - С. 48-56. - Бібліогр. в кінці ст. . - ISSN 1727-4907 Кл.слова (ненормовані): автоматизація розробки програмного забезпечення -- мови програмування -- переписування термів -- системи типів -- алгебра типів -- аналіз коду Дод.точки доступу: Дорошенко, А. Ю. Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1)