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