机译:用于抽象数据类型的交易正确性工具
机译:VLSI同步数据类型的抽象规范,并证明脉动网络实现的正确性
机译:使用集成工具解释血糖数据可提高1型和2型糖尿病患者血糖风险评估的正确性
机译:从正式代数规格验证抽象数据类型实现的创新教学工具
机译:用于分布式数据库中事务并发控制的临时正确算法。
机译:使用集成工具解释血糖数据可提高1型和2型糖尿病患者血糖风险评估的正确性
机译:具有错误状态语义的抽象数据类型的程序正确性J.V. Tucker和J.I.祖克,《 CWI专论》,第1期。 6,北荷兰省阿姆斯特丹,1988,212页,价格:58.00美元/平方英尺。 110.00,ISBN 0-444-70340-3