СМІРНОВ, О., О. КЛЕЙН, О. ГЛУХЕНЬКИЙ, Л. ЛУТЮК, і Б. СЕМЕНЮК. «ВИЯВЛЕННЯ ВРАЗЛИВОСТЕЙ В ПРОГРАМНИХ МОДЕЛЯХ АПАРАТНИХ ЗАСОБІВ». MEASURING AND COMPUTING DEVICES IN TECHNOLOGICAL PROCESSES, вип. 2, Червень 2024, с. 277-85, doi:10.31891/2219-9365-2024-78-32.