×
玛丽·克劳德·高德尔；佩里·詹姆斯。

测试代数数据类型和过程：统一理论。 （英语） Zbl 0951.68534号

正式Asp。计算。 10，编号5-6，436-451（1998）。

引用于5文件

MSC公司：

68问题65 抽象数据类型；代数规范

关键词：

黑盒测试；形式规范；完整LOTOS
PDF格式BibTeX公司 XML格式引用
\textit{M.-C.Gaudel}和\textit{P.R.James}，正式Asp。计算。10，编号5--6，436--451（1998；Zbl 0951.68534）
全文： 内政部