Бенидзе, Н.Н. 2021. ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП’ЮТЕРНИХ ПРОГРАМ. Оптико-електроннi iнформацiйно-енергетичнi технологiї. 20, 2 (Січ 2021), 80–83.