您的位置： 专家智库 > >

苏敏

作品数：1 被引量：0H指数：0
供职机构：宁夏大学数学计算机学院更多>>
发文基金：宁夏回族自治区自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇程序正确性证...

机构

  • 1篇宁夏大学

作者

  • 1篇丁志义
  • 1篇苏敏

传媒

  • 1篇软件导刊

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
程序正确性证明方法研究
2009年
介绍了R.W.Floyd的证明程序部分正确性的归纳断言法和证明程序终止性的良序集法,以及Hoare公理系统。
苏敏丁志义
全选 清除 导出
共1页<1>
聚类工具0