引用本文:	****王戟,李宣东.形式化方法与工具专刊前言.软件学报,2011,22(6):1121-1122

【打印本页】【下载PDF全文】【查看/发表评论】【EndNote】【RefMan】【BibTex】

←前一篇|后一篇→

过刊浏览高级检索

本文已被：浏览 9308次下载 8849次	码上扫一扫！
分享到：微信更多字体:加大+\|默认\|缩小-
形式化方法与工具专刊前言
****王戟¹, 李宣东^2,3
1.国防科学技术大学计算机学院并行与分布处理国防科技重点实验室,湖南长沙 410073;2.计算机软件新技术国家重点实验室(南京大学),江苏南京 210093;3.南京大学计算机科学与技术系,江苏南京 210093

摘要:

关键词:

DOI：10.3724/SP.J.1001.2011.04036

分类号:

基金项目:

**王戟

Abstract:

Key words:

引用本文:

【打印本页】【下载PDF全文】【查看/发表评论】【EndNote】【RefMan】【BibTex】

←前一篇|后一篇→

过刊浏览高级检索

本文已被：浏览次下载次
分享到：微信更多字体:加大+\|默认\|缩小-

摘要:

关键词:

DOI：

分类号:

基金项目:

Abstract:

Key words: