|国家科技期刊平台
| 注册
首页|期刊导航|数字技术与应用|软件工程中的形式化方法研究综述

软件工程中的形式化方法研究综述

李婉璐

数字技术与应用Issue(10)：108-109,2.
✕
数字技术与应用Issue(10)：108-109,2.

软件工程中的形式化方法研究综述

李婉璐1

作者信息

  • 1. 宁夏大学数学计算机学院 宁夏银川 750021
  • 折叠

摘要

关键词

形式化方法/软件方法学/形式化的软件开发

分类

信息技术与安全科学

引用本文复制引用

李婉璐..软件工程中的形式化方法研究综述[J].数字技术与应用,2015,(10):108-109,2.

数字技术与应用

1007-9416

访问量0
|
下载量0
段落导航相关论文