扩展的逻辑系统相关硕士博士期刊学术论文

在形式规格说明的获取任务中，一个重要问题是验证获取得到的形式规格说明的正确性．即给定一个问题需求P，往往可以获取多种不同形式的......