БЕНИДЗЕ, Н. Н. ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП’ЮТЕРНИХ ПРОГРАМ. Оптико-електроннi iнформацiйно-енергетичнi технологiї, [S. l.], v. 20, n. 2, p. 80–83, 2021. Disponível em: https://oeipt.vntu.edu.ua/index.php/oeipt/article/view/173. Acesso em: 27 лис. 2021.