基于SOFL规约的复审理论及实现

著录项

• 来源
  《计算机工程》 |2006年第18期|61-63|共3页
• 作者

  方小丽; 陈昊鹏;

  展开▼
• 作者单位

  上海交通大学软件学院;

  上海;

  200240;

  上海交通大学软件学院;

  上海;

  200240;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 信息处理（信息加工）;
• 关键词

  严格复审; 形式化验证; 审查; 问题集;