program correctness
程序正確性證明用英文怎麼說
程序步用英文怎麼說
程序步驟用英文怎麼說
程序段用英文怎麼說
程序法用英文怎麼說
英語詞典收錄了最新的漢英詞典和英漢詞典，總共有200多萬個詞條，詞庫仍在不斷更新中。
