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