利用数学方法证明程序的正确性的方法称为。___

利用数学方法证明程序的正确性的方法称为。___

理论法

Top