判斷題程序的靜態(tài)驗(yàn)證是利用數(shù)學(xué)方法證明程序的正確性。

您可能感興趣的試卷