correctness proof

正確性證明

學術名詞

• 正確性證明：資訊