Англо-український словник технічних термінів
proof procedure
Процедура доведення
Англо-український словник технічних термінів
proof of termination
proof quality