冯登国 缪淮扣 张学元 刘清 范红 郭金庚 沈毅 文志诚 陈怡海

四阶方程 平凡解 良结构 预解方程 协议 Z 验证 有限集合 时态逻辑 1992年 预解函数 基解阵 总目录 形式化分析 张量计算 演绎 形式规格说明 前置条件 二维线性控制系统 证明责任