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