2020-2021年专刊出版计划
微信服务介绍
最新一期:2021年第1期
****王戟,李宣东.形式化方法与工具专刊前言.软件学报,2011,22(6):1121-1122
形式化方法与工具专刊前言
投稿时间:2011-04-27
DOI:
10.3724/SP.J.1001.2011.04036
中文关键词
:
英文关键词
:
基金项目
:
作者
单位
E-mail
****王戟
国防科学技术大学 计算机学院 并行与分布处理国防科技重点实验室
,
湖南 长沙 410073
李宣东
计算机软件新技术国家重点实验室(南京大学)
,
江苏 南京 210093
南京大学 计算机科学与技术系
,
江苏 南京 210093
lxd@nju.edu.cn
摘要点击次数
:
7420
全文下载次数
:
4346
中文摘要
:
英文摘要
:
HTML
下载PDF全文
查看/发表评论
下载PDF阅读器
主办单位:中国科学院软件研究所 中国计算机学会
京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利
京公网安备 11040202500064号