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