СМІРНОВ, ОЛЕКСІЙ, et al. «СТРАТЕГІЯ ТА АЛГОРИТМИ ВИЯВЛЕННЯ ВРАЗЛИВОСТЕЙ В ПРОГРАМНИХ МОДЕЛЯХ АПАРАТНИХ зАСОБІВ». Herald of Khmelnytskyi National University. Technical Sciences, вип. 335, вип. 3(1), Травень 2024, с. 436-44, https://doi.org/10.31891/2307-5732-2024-335-3-60.