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