###
Journal of Software:2011.22(6):1121-1122

形式化方法与工具专刊前言
****王戟,李宣东
(国防科学技术大学 计算机学院 并行与分布处理国防科技重点实验室,湖南 长沙 410073;计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093;南京大学 计算机科学与技术系,江苏 南京 210093)
**王戟
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 7213   Download 4234
Received:April 27, 2011    
> 中文摘要:
中文关键词:
Abstract:
keywords:
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

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

**王戟..Journal of Software,2011,22(6):1121-1122