×
安娜·卡瓦尔坎蒂;吉姆·伍德科克

ZRC–（Z\）的精化演算。 （英语） Zbl 0934.68062号

正式Asp。计算。 10，第3期，267-289（1998年）.

引用于11文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

规范语言;\（Z\）规格

软件：

ZRC公司
PDF格式BibTeX公司 XML格式引用
\textit{A.Cavalcanti}和\textit{J.Woodcock}，正式Asp。计算。10，第3号，267--289（1998；Zbl 0934.68062）
全文： 内政部