程式正確性證明英文翻譯

拼音:chéng xù zhèng què xìng zhèng míng

英文翻譯

【計】 programming correctness proof; proof of program correctness