FORMAL PROOFING Англо-русский перевод FORMAL PROOFING формальное (математическое) доказательство English-Russian dictionary of computer security. Англо-Русский словарь компьютерной безопасности. 2012