program correctness
程序正确性证明用英文怎么说
程序步用英文怎么说
程序步骤用英文怎么说
程序段用英文怎么说
程序法用英文怎么说
英语词典收录了最新的汉英词典和英汉词典，总共有200多万个词条，词库仍在不断更新中。
