Zhora, Victor, and Oleksandr Synetskyi. “Use of the PVS Formal Logic System in the Method of Formal Proof of Security in the Construction of Information Security Systems”. Technology audit and production reserves 2, no. 2(58) (April 30, 2021): 41–45. Accessed December 23, 2024. https://journals.uran.ua/tarp/article/view/229539.