Plug-and-play nondeterminacy

被引：0

作者：

Morris, Joseph M. ^{[1
]}

机构：

[1] Dublin City Univ, Sch Comp, Dublin 9, Ireland

来源：

B 2007: Formal Specification and Development in B, Proceedings | 2007年 / 4355卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：289 / 292

页数：4