ZHORA, V.; SYNETSKYI, O. 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, [S. l.], v. 2, n. 2(58), p. 41–45, 2021. DOI: 10.15587/2706-5448.2021.229539. Disponível em: https://journals.uran.ua/tarp/article/view/229539. Acesso em: 13 aug. 2024.