Бенидзе, Н. Н. 2021. «ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП’ЮТЕРНИХ ПРОГРАМ». Оптико-електроннi iнформацiйно-енергетичнi технологiї 20 (2):80-83. https://oeipt.vntu.edu.ua/index.php/oeipt/article/view/173.