[計] 程序正確性證明 proof of program correctness: 程序正確性證明correctness proof: 正確性證明proof of correctness: 程序正確性證明; 正確性證明program correctness: 程序的正確性; 程序正確性partial correctness proof: 部分正確性證明下載手機詞典可隨時隨地查詞查翻譯