Большой англо-русский и русско-английский словарь
proof procedure
Англо-русский словарь технических терминов
proof procedure
Русско-английский политехнический словарь
proof procedure
«процедура доказательства»
процедура доказательства в энциклопедиях