程序完全正确性相关硕士博士期刊学术论文

基于Tableau方法的程序综合方法以定理证明为基础,将从规格说明得到程序的过程看作是一个定理证明的过程,如果这个证明存在,那么从......