FORMAL VALIDATION Англо-русский перевод FORMAL VALIDATION мат. формальное доказательство Big English-Russian dictionary . Большой Англо-Русский словарь. 2012