形式化方法与工具专刊前言

doi:10.3724/SP.J.1001.2011.04036

微信服务号

微信订阅号

2025年3月24日 14:30 星期一

首页 > 过刊浏览>2011年第22卷第6期 >1121-1122. DOI:10.3724/SP.J.1001.2011.04036

PDF HTML阅读 XML下载导出引用引用提醒

形式化方法与工具专刊前言
DOI:
                        10.3724/SP.J.1001.2011.04036
                    
CSTR:
                        
                    
作者:
                        ****王戟****王戟
国防科学技术大学 计算机学院 并行与分布处理国防科技重点实验室,湖南 长沙 410073
在期刊界中查找
在百度中查找
在本站中查找
李宣东李宣东
计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093;南京大学 计算机科学与技术系,江苏 南京 210093
在期刊界中查找
在百度中查找
在本站中查找

                    
作者单位:
作者简介:
通讯作者:
中图分类号:
基金项目:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

文章评论

摘要:

引用本文

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

复制

文章指标

点击次数:
下载次数:
HTML阅读次数:
引用次数:

历史

收稿日期:2011-04-27
最后修改日期:
录用日期:
在线发布日期:
出版日期:

微信服务号

微信订阅号

引用本文

分享

文章指标

历史

文章二维码

微信服务号

微信订阅号

引用本文

分享

微信扫一扫：分享

文章指标

历史

文章二维码