Return to Article Details
Use of the PVS formal logic system in the method of formal proof of security in the construction of information security systems
Download
Download PDF