partial correctness proof

部分正確性證明

學術名詞

• 部分正確性證明：資訊