Z语言模式正确性的检验

著录项

• 来源
  《计算机工程》 |1995年第5期|3-9|共7页
• 作者

  陈矗; 朱美铭;

  展开▼
• 作者单位

  不详;

  不详;

  展开▼
• 原文格式 PDF
• 正文语种 CHI
• 中图分类 程序语言、算法语言;
• 关键词

  Z语言; 规格说明语言; 检验; 正确性;