程序正确性验证相关论文
基于语法树的程序正确性验证方法是目前程序正确性验证方面全新的研究领域，该方法以程序的语法树作为程序正确性的检验对象，运用适当......
基于语法树的程序正确性验证方法是目前程序正确性验证全新的研究领域,该方法以程序的语法树作为程序正确性的检验对象,运用适当的......
