program correctness proof

英 美
  • 程序正确性证明
  • correctness n.正确;正确性
  • program n.节目;计划;程序;课程;节目单vt.编制程序;安排;指定
  • proof n.证明;证据;校样adj.防...的;耐...的vt.检验;给...做防护措施